Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt

• Autore: Nievergelt, Yves
• Pubblicazione: New York, : Springer, 2015
• Titolo uniforme: Logic, mathematics, and computer science : modern foundations with practical applications
• Edizione: 2. ed
• Descrizione fisica: XII, 391 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 68-XX - Computer science [MSC 2020]; 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020]
• Soggetto non controllato: Applications sets and functions; First-order logic; Foundations mathematics; Gale and Shapely algorithm; Inference rules; Math transition course; Mathematical induction; Nash equilibrium; Prisoner's dilemma; Propositional logic; Set Theory; Transfinite induction
• Titolo autorizzato: Logic, mathematics, and computer science : modern foundations with practical applications
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00113185
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://dx.doi.org/10.1007/978-1-4939-3223-8