A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz

• Autore: Manin, Yuri I.
• Pubblicazione: New York, : Springer, 1977
• Titolo uniforme: Lekcii po matematičeskoj logike
• Descrizione fisica: xiii, 288 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]; 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]; 03D80 - Applications of computability and recursion theory [MSC 2020]; 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]; 03Fxx - Proof theory and constructive mathematics [MSC 2020]; 03G12 - Quantum logic [MSC 2020]; 11Uxx - Connections of number theory and logic [MSC 2020]; 20A15 - Applications of logic to group theory [MSC 2020]
• Soggetto non controllato: Boundary Element Methods; Computability; Forcing; Formal languages; Forms; Functions; Language; Logic; Mathematical logic; Mathematics; Presentations; Theory of complexity
• Persona (resp. second.): Koblitz, Neal
• Titolo autorizzato: Lekcii po matematičeskoj logike
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00268046
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-1-4757-4385-2
• Serie: Graduate texts in mathematics New York [etc.] . -Springer , 1950- ; 53