"Lógica simbólica matemática." . . "Matematika." . . "Математика" . "Mathematische logica." . . "Wiskundige logica." . . "THEORIE ENSEMBLES." . . "théorie ensemble." . . "Lógica simbólica y matemática." . . "calcul propositionnel." . . "Calcul propositionnel." . "Symbolische logica." . . "Théorie formelle arithmétique." . . "théorie nombre." . . "Logică simbolică şi matematică." . . "axiomatique." . . "AXIOMATIQUE." . "Axiomatique." . "Axiomatique ensemble." . . "logique mathématique manuel." . . "logique mathématique [manuel]" . "Lògica matemàtica." . . "Logica matematica." . "Lógica matemática." . "Lògica matemàtica" . "logica matematica." . . . "Mathematische Logik 0 Gesamtdarstellung." . . "Mathematics." . . . . . . . . . . . . . . . . . . . . . . "Vvedenie v matematicheskui︠u︡ logiku" . . . . . . . . . . . . . "Vvedenie v matematičeskuju logiku" . . . "Введение в математическую логику" . . . . "The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th."@en . . "Introduzione alla logica matematica" . "Introduzione alla logica matematica"@it . . "Problems, exercises, etc"@en . . "Textbooks"@en . . . . . . . . . . . "Vvedenie matematicheskui︠u︡ logiku" . . . . . . . "This well established text covers the basic topics of a solid first course in mathematical logic. It contains the logical fundamentals that computer science students will need, as well as a chapter on computability theory."@en . "Vvedenie v matematicheskuiu logiku" . . . . . . . . . . "Introduction to Mathematical logic"@it . "Electronic books"@en . "Electronic books" . . . . . . . . . "Introduction to Mathematical Logic" . "Introduction to Mathematical Logic"@en . "Mathematical logic" . . . "Mathematical logic"@en . . "Problems and exercises" . . . . . . . . . . . . . . . . . . . . "Introduction to mathematical logic"@en . "Introduction to mathematical logic" . . . . . . . "Vvedenie v matematčeskuû logiku" . . . . "Lehrbuch" . . . . . . . . . . . . . . . . . . . . . "Vvedenie v matematičeskuû logiku" . . . . . "Introduction to mathemathical logic" . . . . . . . . . "Introduction to mathematical logic. Second edition" . . . . . . . . . . . . . . . . . . . . . . . "Introduction to mathematical logic"@it . "Introduction to mathematical logic" . . . "Vvedenie v matematčeskuju logiku" . . . . . . . . . . "Einführung" . . . . . . . . "Introduction mathematical logic" . . . . . . . . . . . . . . . . . . "Science (General)" . . "CALCUL PROPOSITION." . . "Logic, Symbolic and mathematical Problems, exercises, etc." . . "quantification." . . "Logica matematica Teorie." . . "théorie quantique." . . "Logique symbolique et mathématique." . . "Einführung." . . "Matematisk logik" . . "Matematisk logik." . "Logic, Symbolic and mathematical." . . "Logika symboliczna i matematyczna." . . "Mathematische Logik." . . "logique mathématique." . . "Logique mathématique." . "Effectivité." . . "calculabilité" . . "calculabilité." .