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

• Record Nr.: UNICAMPANIAVAN00268046
• Autore: Manin, Yuri I.
• Pubbl/distr/stampa: New York, : Springer, 1977
• Titolo uniforme: Lekcii po matematičeskoj logike
• Descrizione fisica: xiii, 288 p. : ill. ; 24 cm
• Soggetti: 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]
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia