Mathematical Logic / J. Donald Monk

• Autore: Monk, James D.
• Pubblicazione: New York, : Springer, 1976
• Descrizione fisica: x, 532 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 06-XX - Order, lattices, ordered algebraic structures [MSC 2020]; 26E35 - Nonstandard analysis [MSC 2020]; 08-XX - General algebraic systems [MSC 2020]; 03Dxx - Computability and recursion theory [MSC 2020]; 03B25 - Decidability of theories and sets of sentences [MSC 2020]; 11U05 - Decidability (number-theoretic aspects) [MSC 2020]
• Soggetto non controllato: Algorithms; Boundary Element Methods; Computability theory; Construction; Decidability; Functions; Logic; Mathematica; Mathematical analysis; Mathematical logic; Model theory; Recursion; Turing; Turing degree; Types
• Titolo autorizzato: Mathematical Logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0268023
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-1-4684-9452-5
• Serie: Graduate texts in mathematics New York [etc.] . -Springer ; 37