Polkowski, Lech T. Logic: reference book for computer scientists. 2nd revised and enlarged edition, previously published under the title Logics for computer and data sciences, and artificial intelligence. (English) Zbl 07782874 Intelligent Systems Reference Library 245. Cham: Springer (ISBN 978-3-031-42033-7/hbk; 978-3-031-42036-8/pbk; 978-3-031-42034-4/ebook). xxxiii, 461 p. (2023). MSC: 68-01 03-01 03B70 68T27 PDFBibTeX XMLCite \textit{L. T. Polkowski}, Logic: reference book for computer scientists. 2nd revised and enlarged edition, previously published under the title Logics for computer and data sciences, and artificial intelligence. Cham: Springer (2023; Zbl 07782874) Full Text: DOI
Taylor, Scott A. Introduction to mathematics. Number, space, and structure. (English) Zbl 1521.00001 Pure and Applied Undergraduate Texts 62. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-7188-0/pbk; 978-1-4704-7416-4/ebook). xxvi, 415 p. (2023). MSC: 00-01 00A35 00A05 03B10 03E30 03-01 PDFBibTeX XMLCite \textit{S. A. Taylor}, Introduction to mathematics. Number, space, and structure. Providence, RI: American Mathematical Society (AMS) (2023; Zbl 1521.00001)
Iovino, José (ed.) Beyond first order model theory. Volume II. (English) Zbl 1523.03002 Boca Raton, FL: CRC Press (ISBN 978-0-367-20826-4/hbk; 978-0-367-20836-3/set; 978-0-429-26363-7/ebook). xix, 306 p. (2023). MSC: 03-06 03C48 03C07 03C30 03C50 03C85 00B15 PDFBibTeX XMLCite \textit{J. Iovino} (ed.), Beyond first order model theory. Volume II. Boca Raton, FL: CRC Press (2023; Zbl 1523.03002) Full Text: DOI
Wolff, Michael Treatise on the principles of logic. A defense of logical monism. 3rd revised edition. (Abhandlung über die Prinzipien der Logik. Eine Verteidigung des logischen Monismus.) (German) Zbl 1515.03005 Philosophische Abhandlungen 121. Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-04615-8/pbk; 978-3-465-13639-2/ebook). xxi, 454 p. (2023). MSC: 03-01 03A05 03B10 03B60 03-03 03-02 PDFBibTeX XMLCite \textit{M. Wolff}, Abhandlung über die Prinzipien der Logik. Eine Verteidigung des logischen Monismus. 3rd revised edition. Frankfurt am Main: Vittorio Klostermann (2023; Zbl 1515.03005)
Pratt-Hartmann, Ian Fragments of first-order logic. (English) Zbl 07645439 Oxford Logic Guides 56. Oxford Science Publications. Oxford: Oxford University Press (ISBN 978-0-19-286796-4/hbk; 978-0-19-196006-2/ebook). xvi, 650 p. (2023). MSC: 03-01 03B10 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann}, Fragments of first-order logic. Oxford Science Publications. Oxford: Oxford University Press (2023; Zbl 07645439) Full Text: DOI
Mileti, Joseph Modern mathematical logic. (English) Zbl 07553161 Cambridge Mathematical Textbooks. Cambridge: Cambridge University Press (ISBN 978-1-108-83314-1/hbk; 978-1-108-97310-6/ebook). xiv, 502 p. (2023). MSC: 03-01 03B05 03B10 03Cxx 03E10 03E30 03Dxx 03F40 PDFBibTeX XMLCite \textit{J. Mileti}, Modern mathematical logic. Cambridge: Cambridge University Press (2023; Zbl 07553161) Full Text: DOI
Makridis, Odysseus Symbolic logic. (English) Zbl 1507.03001 Palgrave Philosophy Today. Cham: Palgrave Macmillan (ISBN 978-3-030-67395-6/pbk; 978-3-030-67396-3/ebook). v, 492 p. (2022). MSC: 03-01 03B10 PDFBibTeX XMLCite \textit{O. Makridis}, Symbolic logic. Cham: Palgrave Macmillan (2022; Zbl 1507.03001) Full Text: DOI
Monin, Benoît; Patey, Ludovic Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001 Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-01 68-01 03Dxx 03B10 03C07 03B30 03F35 03F40 03D80 68Q04 68Q30 PDFBibTeX XMLCite \textit{B. Monin} and \textit{L. Patey}, Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité. Paris: Calvage et Mounet (2022; Zbl 1516.03001)
Gonczarowski, Yannai A.; Nisan, Noam Mathematical logic through Python. (English) Zbl 1495.03001 Cambridge: Cambridge University Press (ISBN 978-1-108-84507-6/hbk; 978-1-108-94947-7/pbk; 978-1-108-95446-4/ebook). xii, 272 p. (2022). MSC: 03-01 03-04 03B05 03B10 PDFBibTeX XMLCite \textit{Y. A. Gonczarowski} and \textit{N. Nisan}, Mathematical logic through Python. Cambridge: Cambridge University Press (2022; Zbl 1495.03001) Full Text: DOI
Tennant, Neil The logic of number. (English) Zbl 1521.03004 Oxford: Oxford University Press (ISBN 978-0-19-284667-9/hbk). xii, 363 p. (2022). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-02 03A05 03F30 03F40 PDFBibTeX XMLCite \textit{N. Tennant}, The logic of number. Oxford: Oxford University Press (2022; Zbl 1521.03004) Full Text: DOI
Shapiro, Stewart; Kouri Kissel, Teresa Classical first-order logic. (English) Zbl 07455978 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-108-98700-4/pbk; 978-1-108-98200-9/ebook). 71 p. (2022). MSC: 03-01 03B10 PDFBibTeX XMLCite \textit{S. Shapiro} and \textit{T. Kouri Kissel}, Classical first-order logic. Cambridge: Cambridge University Press (2022; Zbl 07455978) Full Text: DOI
Polkowski, Lech T. Logics for computer and data sciences, and artificial intelligence. (English) Zbl 1498.68003 Studies in Computational Intelligence 992. Cham: Springer (ISBN 978-3-030-91679-4/hbk; 978-3-030-91680-0/ebook). xviii, 362 p. (2022). Reviewer: Éric Martin (Sydney) MSC: 68-01 03-01 03B70 68T27 PDFBibTeX XMLCite \textit{L. T. Polkowski}, Logics for computer and data sciences, and artificial intelligence. Cham: Springer (2022; Zbl 1498.68003) Full Text: DOI
De Morgan, Augustus On the syllogism and other logical writings. Reprint of the 1966 edition. (English) Zbl 1486.03003 Routledge Revivals. Milton: Routledge (ISBN 978-0-367-19490-1/hbk; 978-0-367-19493-2/pbk; 978-0-429-20278-0/ebook). xxxi, 335 p. (2021). MSC: 03-02 03B10 01A75 PDFBibTeX XMLCite \textit{A. De Morgan}, On the syllogism and other logical writings. Reprint of the 1966 edition. Milton: Routledge (2021; Zbl 1486.03003) Full Text: DOI
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang Mathematical logic. 3rd edition. (English) Zbl 07356209 Graduate Texts in Mathematics 291. Cham: Springer (ISBN 978-3-030-73838-9/hbk; 978-3-030-73841-9/pbk; 978-3-030-73839-6/ebook). ix, 304 p. (2021). MSC: 03-01 03B10 03B99 03C07 PDFBibTeX XMLCite \textit{H.-D. Ebbinghaus} et al., Mathematical logic. 3rd edition. Cham: Springer (2021; Zbl 07356209) Full Text: DOI
Rasga, João; Sernadas, Cristina Decidability of logical theories and their combination. (English) Zbl 07261772 Studies in Universal Logic. Cham: Birkhäuser (ISBN 978-3-030-56553-4/hbk; 978-3-030-56556-5/pbk; 978-3-030-56554-1/ebook). xiii, 178 p. (2020). MSC: 03-01 03B10 03B25 PDFBibTeX XMLCite \textit{J. Rasga} and \textit{C. Sernadas}, Decidability of logical theories and their combination. Cham: Birkhäuser (2020; Zbl 07261772) Full Text: DOI
Warren, Jared Shadows of syntax. Revitalizing logical and mathematical conventionalism. (English) Zbl 07247163 New York, NY: Oxford University Press (ISBN 978-0-19-008615-2/hbk; 978-0-19-008616-9/ebook). xx, 385 p. (2020). MSC: 03-02 03A05 03F30 03H15 03F25 00A30 PDFBibTeX XMLCite \textit{J. Warren}, Shadows of syntax. Revitalizing logical and mathematical conventionalism. New York, NY: Oxford University Press (2020; Zbl 07247163) Full Text: DOI
Schurz, Gerhard Logic. Basic and advanced course in propositional and predicate logic. 2nd corrected and enlarged edition. (Logik. Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik.) (German) Zbl 07228829 De Gruyter Studium. Berlin: De Gruyter (ISBN 978-3-11-069714-8/pbk; 978-3-11-069739-1/ebook). xii, 435 p. (2020). MSC: 03-01 03B05 03B10 PDFBibTeX XMLCite \textit{G. Schurz}, Logik. Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik. 2nd corrected and enlarged edition. Berlin: De Gruyter (2020; Zbl 07228829) Full Text: DOI
Nešetřil, Jaroslav; Ossona de Mendez, Patrice A unified approach to structural limits and limits of graphs with bounded tree-depth. (English) Zbl 1491.03004 Memoirs of the American Mathematical Society 1272. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4065-7/pbk; 978-1-4704-5652-8/ebook). v, 108 p. (2020). Reviewer: Vera Koponen (Uppsala) MSC: 03-02 03C13 03C98 05C99 06E15 28C05 PDFBibTeX XMLCite \textit{J. Nešetřil} and \textit{P. Ossona de Mendez}, A unified approach to structural limits and limits of graphs with bounded tree-depth. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1491.03004) Full Text: DOI arXiv
Peirce, Charles S. Pietarinen, Ahti-Veikko (ed.) Logic of the future. Writings on existential graphs. Volume 1. History and applications. Edited by Ahti-Veikko Pietarinen. (English) Zbl 1431.03005 Peirceana 1. Berlin: De Gruyter (ISBN 978-3-11-064934-5/hbk; 978-3-11-065140-9/ebook). xx, 664 p. (2020). MSC: 03-03 03-06 01A75 01A70 03A05 03B10 PDFBibTeX XMLCite \textit{C. S. Peirce} and \textit{A.-V. Pietarinen} (ed.), Logic of the future. Writings on existential graphs. Volume 1. History and applications. Edited by Ahti-Veikko Pietarinen. Berlin: De Gruyter (2020; Zbl 1431.03005) Full Text: DOI
Augusto, Luis M. Formal logic. Classical problems and proofs. (English) Zbl 1451.03001 Studies in Logic (London) 82. London: College Publications (ISBN 978-1-84890-317-3). xix, 404 p. (2019). MSC: 03-01 03A05 03B10 03B25 03B35 68V15 PDFBibTeX XMLCite \textit{L. M. Augusto}, Formal logic. Classical problems and proofs. London: College Publications (2019; Zbl 1451.03001)
Berghammer, Rudolf Mathematics for computer science. Basic concepts, structures and their applications. 3rd expanded and updated edition. (Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung.) (German) Zbl 1456.68002 Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 00A06 03B05 03B10 03E20 68N01 68N30 68P05 68Q60 68R10 68W01 PDFBibTeX XMLCite \textit{R. Berghammer}, Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung. 3rd expanded and updated edition. Wiesbaden: Springer Vieweg (2019; Zbl 1456.68002) Full Text: DOI
Hils, Martin; Loeser, François A first journey through logic. (English) Zbl 1445.03001 Student Mathematical Library 89. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5272-8/pbk; 978-1-4704-5407-4/ebook). xi, 185 p. (2019). Reviewer: Mitsuru Yasuhara (Princeton) MSC: 03-01 03B10 03Exx 03Fxx PDFBibTeX XMLCite \textit{M. Hils} and \textit{F. Loeser}, A first journey through logic. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1445.03001) Full Text: DOI
Kotlarski, Henryk Adamowicz, Zofia (ed.); Bigorajska, Teresa (ed.); Zdanowski, Konrad (ed.) A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. (English) Zbl 1471.03001 Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019). Reviewer: Valery Plisko (Moskva) MSC: 03-02 03F30 03F40 03C62 03F15 PDFBibTeX XMLCite \textit{H. Kotlarski} et al., A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. Cham: Springer (2019; Zbl 1471.03001) Full Text: DOI
Jongsma, Calvin Introduction to discrete mathematics via logic and proof. (English) Zbl 1423.03004 Undergraduate Texts in Mathematics. Cham: Springer (ISBN 978-3-030-25357-8/hbk; 978-3-030-25358-5/ebook). xx, 482 p. (2019). MSC: 03-01 05-01 03B05 03B10 05Axx 05Cxx 06-01 PDFBibTeX XMLCite \textit{C. Jongsma}, Introduction to discrete mathematics via logic and proof. Cham: Springer (2019; Zbl 1423.03004) Full Text: DOI
Cuneo, Alejandro Javier; Ferro, Ruggero Elementary classical mathematical logic. Potential and limits of languages, in particular formal languages. (Logica matematica classica elementare. Potenzialità e limiti dei linguaggi, in particolare di quelli formali.) (Italian) Zbl 1409.03001 Matematiche Complementari 13. Rome: Aracne Editrice (ISBN 978-88-255-1761-3). 412 p. (2019). MSC: 03-01 03B05 03B10 PDFBibTeX XMLCite \textit{A. J. Cuneo} and \textit{R. Ferro}, Logica matematica classica elementare. Potenzialità e limiti dei linguaggi, in particolare di quelli formali (Italian). Rome: Aracne Editrice (2019; Zbl 1409.03001)
Lawson, Mark Verus A first course in logic. (English) Zbl 1457.03001 Boca Raton, FL: CRC Press (ISBN 978-0-8153-8665-0/pbk; 978-0-8153-8664-3/hbk; 978-1-351-17537-1/pbk). xv, 233 p. (2019). Reviewer: Éric Martin (Sydney) MSC: 03-01 03B05 03B10 03G05 PDFBibTeX XMLCite \textit{M. V. Lawson}, A first course in logic. Boca Raton, FL: CRC Press (2019; Zbl 1457.03001) Full Text: Link
Wasilewska, Anita Logics for computer science. Classical and non-classical. (English) Zbl 1436.03002 Cham: Springer (ISBN 978-3-319-92590-5/hbk; 978-3-319-92591-2/ebook). x, 535 p. (2018). Reviewer: Éric Martin (Sydney) MSC: 03-01 03B70 03B05 03B10 00A06 PDFBibTeX XMLCite \textit{A. Wasilewska}, Logics for computer science. Classical and non-classical. Cham: Springer (2018; Zbl 1436.03002) Full Text: DOI
de Swart, Harrie Philosophical and mathematical logic. (English) Zbl 1446.03001 Springer Undergraduate Texts in Philosophy. Cham: Springer (ISBN 978-3-030-03253-1/hbk; 978-3-030-03255-5/ebook). xx, 539 p. (2018). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03A05 03Bxx 03F30 03F40 00A30 PDFBibTeX XMLCite \textit{H. de Swart}, Philosophical and mathematical logic. Cham: Springer (2018; Zbl 1446.03001) Full Text: DOI Link
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang Introduction to mathematical logic. 6th revised and enlarged edition. (Einführung in die mathematische Logik.) (German) Zbl 1400.03001 Berlin: Springer Spektrum (ISBN 978-3-662-58028-8/pbk; 978-3-662-58029-5/ebook). ix, 366 p. (2018). MSC: 03-01 03B10 68-01 68N17 PDFBibTeX XMLCite \textit{H.-D. Ebbinghaus} et al., Einführung in die mathematische Logik. 6th revised and enlarged edition. Berlin: Springer Spektrum (2018; Zbl 1400.03001) Full Text: DOI
Makridis, Odysseus Fathoming formal logic. Vol. II: Semantics and proof theory for predicate logic. (English) Zbl 1441.03003 Studies in Logic (London) 72. London: College Publications (ISBN 978-1-84890-267-1/pbk). xiv, 403 p., 24 p./index (2018). Reviewer: Mitsuru Yasuhara (Princeton) MSC: 03-02 03B10 03A05 PDFBibTeX XMLCite \textit{O. Makridis}, Fathoming formal logic. Vol. II: Semantics and proof theory for predicate logic. London: College Publications (2018; Zbl 1441.03003)
Hoffmann, Dirk W. Frontiers of mathematics. A journey through the key areas of mathematical logic. 3rd edition. (Grenzen der Mathematik. Eine Reise durch die Kerngebiete der mathematischen Logik.) (German) Zbl 1395.03002 Berlin: Springer Spektrum (ISBN 978-3-662-56616-9/pbk; 978-3-662-56617-6/ebook). ix, 441 p. (2018). MSC: 03-01 03B05 03B10 03Cxx 03Dxx 03F03 03F30 PDFBibTeX XMLCite \textit{D. W. Hoffmann}, Grenzen der Mathematik. Eine Reise durch die Kerngebiete der mathematischen Logik. 3rd edition. Berlin: Springer Spektrum (2018; Zbl 1395.03002) Full Text: DOI
Wille, Matthias [Frege, Gottlob] Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic. (Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.) (German) Zbl 1403.01004 Klassische Texte der Wissenschaft. Berlin: Springer Spektrum (ISBN 978-3-662-45010-9/hbk; 978-3-662-45011-6/ebook). x, 344 p. (2018). Reviewer: Volker Peckhaus (Paderborn) MSC: 01-02 01A75 01A55 00A30 03-03 03A05 03A10 PDFBibTeX XMLCite \textit{M. Wille}, Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Berlin: Springer Spektrum (2018; Zbl 1403.01004) Full Text: DOI
Abrusci, Vito Michele; Tortora de Falco, Lorenzo Logic. Volume 2. Incompleteness, axiomatic set theory. (Logica. Volume 2. Incompletezza, teoria assiomatica degli insiemi.) (Italian) Zbl 06848715 Unitext 111. La Matematica per il 3+2. Milano: Springer (ISBN 978-88-470-3967-4/pbk; 978-88-470-3968-1/ebook). xiii, 439 p. (2018). MSC: 03-01 03Exx 03F30 03F40 PDFBibTeX XMLCite \textit{V. M. Abrusci} and \textit{L. Tortora de Falco}, Logica. Volume 2. Incompletezza, teoria assiomatica degli insiemi (Italian). Milano: Springer (2018; Zbl 06848715) Full Text: DOI
Brendel, Elke Logic-script 1. Truth and logical reasoning. (Logik-Skript 1. Wahrheit und logisches Schließen.) (German) Zbl 1376.03001 Klostermann RoteReihe 99. Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-04282-2; 978-3-465-14282-9/ebook). 170 p. (2018). MSC: 03-01 03B05 03B10 PDFBibTeX XMLCite \textit{E. Brendel}, Logik-Skript 1. Wahrheit und logisches Schließen. Frankfurt am Main: Vittorio Klostermann (2018; Zbl 1376.03001)
Ayala-Rincón, Mauricio; de Moura, Flávio L. C. Applied logic for computer scientists. Computational deduction and formal proofs. (English) Zbl 1401.03001 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-51651-6/pbk; 978-3-319-51653-0/ebook). xviii, 150 p. (2017). MSC: 03-01 00A06 03B10 03B35 03F03 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} and \textit{F. L. C. de Moura}, Applied logic for computer scientists. Computational deduction and formal proofs. Cham: Springer (2017; Zbl 1401.03001) Full Text: DOI
van Dalen, Dirk Logic and structure. Translated from the English by Ruy J. G. B. de Queiroz. (Lógica e estrutura.) (Portuguese) Zbl 1394.03001 Cadernos de Lógica e Computação 8. London: College Publications (ISBN 978-1-84890-262-6/pbk). 274 p. (2017). MSC: 03-01 03-02 03B05 03B10 03B15 03B20 03C07 03C20 PDFBibTeX XMLCite \textit{D. van Dalen}, Lógica e estrutura (Portuguese). London: College Publications (2017; Zbl 1394.03001)
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John Logical reasoning with diagrams and sentences. Using hyperproof. (English) Zbl 1373.03001 CSLI Lecture Notes 216. Stanford, CA: CSLI Publications (ISBN 978-1-57586-951-3/pbk). xvii, 210 p. (2017). MSC: 03-01 03-04 03B10 68N15 PDFBibTeX XMLCite \textit{D. Barker-Plummer} et al., Logical reasoning with diagrams and sentences. Using hyperproof. Stanford, CA: CSLI Publications (2017; Zbl 1373.03001)
Tulenheimo, Tero Objects and modalities. A study in the semantics of modal logic. (English) Zbl 1383.03003 Logic, Epistemology, and the Unity of Science 41. Cham: Springer (ISBN 978-3-319-53118-2/hbk; 978-3-319-53119-9/ebook). xiv, 208 p. (2017). Reviewer: Max A. Freund (San José) MSC: 03-02 03B45 03A05 PDFBibTeX XMLCite \textit{T. Tulenheimo}, Objects and modalities. A study in the semantics of modal logic. Cham: Springer (2017; Zbl 1383.03003) Full Text: DOI
Iovino, José (ed.) Beyond first order model theory. (English) Zbl 1373.03006 Boca Raton, FL: CRC Press (ISBN 978-1-4987-5397-5/hbk; 978-1-315-36807-8/ebook; 978-0-367-20836-3/set). xv, 427 p. (2017). MSC: 03-06 03C48 03C07 03C30 03C50 00B15 PDFBibTeX XMLCite \textit{J. Iovino} (ed.), Beyond first order model theory. Boca Raton, FL: CRC Press (2017; Zbl 1373.03006) Full Text: DOI
Smullyan, Raymond A beginner’s further guide to mathematical logic. (English) Zbl 1370.03002 Hackensack, NJ: World Scientific (ISBN 978-981-4730-99-0/hbk; 978-981-4725-72-9/pbk). ix, 277 p. (2017). Reviewer: Mario Alviano (Rende) MSC: 03-01 03B05 03B10 03D20 03B40 03D10 03D25 PDFBibTeX XMLCite \textit{R. Smullyan}, A beginner's further guide to mathematical logic. Hackensack, NJ: World Scientific (2017; Zbl 1370.03002) Full Text: DOI
Ziegler, Martin Mathematical logic. 2nd edition. (Mathematische Logik.) (German) Zbl 1357.03002 Mathematik Kompakt. Basel: Birkhäuser/Springer (ISBN 978-3-319-44179-5/pbk; 978-3-319-44180-1/ebook). x, 152 p. (2017). MSC: 03-01 03B10 03D10 03E30 03F30 PDFBibTeX XMLCite \textit{M. Ziegler}, Mathematische Logik. 2nd edition. Basel: Birkhäuser/Springer (2017; Zbl 1357.03002) Full Text: DOI
Casanovas Ruiz-Fornells, Enrique Definability in mathematical structures. Inaugural lesson for the academic year 2016–2017. (Definibilidad en estructuras matemáticas. Lliçó inaugural curs 2016–2017.) (Catalan) Zbl 1443.03001 Barcelona: Edicions de la Universitat de Barcelona (ISBN 978-84-9168-035-2/ebook). 31 p., open access (2016). MSC: 03-01 03C07 03C40 03C45 PDFBibTeX XMLCite \textit{E. Casanovas Ruiz-Fornells}, Definibilidad en estructuras matemáticas. Lliçó inaugural curs 2016--2017 (Catalan). Barcelona: Edicions de la Universitat de Barcelona (2016; Zbl 1443.03001) Full Text: Link Link
Hájek, Petr; Pudlák, Pavel Metamathematics of first-order arithmetic. Reprint of the 1993 original published by Springer. (English) Zbl 1365.03008 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16841-1/hbk; 978-1-316-71727-1/ebook). xiv, 460 p. (2016). MSC: 03-02 03F30 03D15 PDFBibTeX XMLCite \textit{P. Hájek} and \textit{P. Pudlák}, Metamathematics of first-order arithmetic. Reprint of the 1993 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03008)
Indrzejczak, Andrzej; Nowak, Marek Methods of logic. Deduction. (Metody logiki. Dedukcja.) (Polish) Zbl 1357.03001 Łódź: Wydawnictwo Uniwersytetu Łódzkiego (ISBN 978-83-8088-359-8; 978-83-8088-360-4/ebook). 144 p. (2016). MSC: 03-01 03B05 03B10 03B22 PDFBibTeX XMLCite \textit{A. Indrzejczak} and \textit{M. Nowak}, Metody logiki. Dedukcja (Polish). Łódź: Wydawnictwo Uniwersytetu Łódzkiego (2016; Zbl 1357.03001)
Cégielski, Patrick (ed.); Enayat, Ali (ed.); Kossak, Roman (ed.) Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. (English) Zbl 1375.03005 CSLI Lecture Notes 217. Stanford, CA: CSLI Publications (ISBN 978-1-57586-953-7/pbk). x, 241 p. (2016). MSC: 03-06 03C62 03F30 00B25 PDFBibTeX XMLCite \textit{P. Cégielski} (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference ``Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)'' (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16--18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7--9, 2015. Stanford, CA: CSLI Publications (2016; Zbl 1375.03005)
Epstein, Richard L. An introduction to formal logic. (English) Zbl 1421.03001 Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-27-3/pbk; 978-1-938421-28-0/ebook). vi, 211 p. (2016). Reviewer: Éric Martin (Sydney) MSC: 03-01 03B05 03B10 03B15 PDFBibTeX XMLCite \textit{R. L. Epstein}, An introduction to formal logic. Socorro, NM: Advanced Reasoning Forum (2016; Zbl 1421.03001)
Heinemann, Anna-Sophie Quantification of the predicate and numerically definite syllogism. The controversy between Augustus De Morgan and William Hamilton: formal logic between algebra and syllogistics. (Quantifikation des Prädikats und numerisch definiter Syllogismus. Die Kontroverse zwischen Augustus De Morgan und William Hamilton: Formale Logik zwischen Algebra und Syllogistik.) (German) Zbl 1406.03009 Münster: Mentis Verlag (ISBN 978-3-95743-033-5/pbk; 978-3-95743-848-5/ebook). 288 p. (2015). Reviewer: Victor V. Pambuccian (Yerevan) MSC: 03-03 03-02 03A05 03B10 01A55 PDFBibTeX XMLCite \textit{A.-S. Heinemann}, Quantifikation des Prädikats und numerisch definiter Syllogismus. Die Kontroverse zwischen Augustus De Morgan und William Hamilton: Formale Logik zwischen Algebra und Syllogistik. Münster: Mentis Verlag (2015; Zbl 1406.03009)
Haverkamp, Nick Intuitionism vs. classicism. A mathematical attack on classical logic. (English) Zbl 1358.03004 Studies in Theoretical Philosophy 2. Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03906-8/pbk). xvi, 269 p. (2015). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 01A60 03B20 03B05 03B10 PDFBibTeX XMLCite \textit{N. Haverkamp}, Intuitionism vs. classicism. A mathematical attack on classical logic. Frankfurt am Main: Vittorio Klostermann (2015; Zbl 1358.03004)
Francez, Nissim Proof-theoretic semantics. (English) Zbl 1433.03001 Studies in Logic (London) 57. London: College Publications (ISBN 978-1-84890-183-4/pbk). xx, 415 p. (2015). MSC: 03-02 03F03 03B05 03B10 03B65 PDFBibTeX XMLCite \textit{N. Francez}, Proof-theoretic semantics. London: College Publications (2015; Zbl 1433.03001)
Dowek, Gilles Logic. (La logique.) (French) Zbl 1362.03001 Poche. Paris: Éditions Le Pommier (ISBN 978-2-7465-0878-1/pbk). 96 p. (2015). Reviewer: Stany Mazurkiewicz (Liège) MSC: 03-01 03B05 03B10 03A05 PDFBibTeX XMLCite \textit{G. Dowek}, La logique. Paris: Éditions Le Pommier (2015; Zbl 1362.03001)
Duparc, Jacques Logic step by step. (La logique pas à pas.) (French) Zbl 1333.03001 Lausanne: Presses Polytechniques et Universitaires Romandes (PPUR) (ISBN 978-2-88915-126-4/pbk). 570 p. (2015). Reviewer: M. Yasuhara (Princeton) MSC: 03-01 03Bxx 03A05 PDFBibTeX XMLCite \textit{J. Duparc}, La logique pas à pas. Lausanne: Presses Polytechniques et Universitaires Romandes (PPUR) (2015; Zbl 1333.03001)
Nievergelt, Yves Logic, mathematics, and computer science. Modern foundations with practical applications. 2nd edition, originally published under the title Foundations of logic and mathematics. Applications to computer science and cryptography. (English) Zbl 1334.03002 New York, NY: Springer (ISBN 978-1-4939-3222-1/hbk; 978-1-4939-3223-8/ebook). xii, 391 p. (2015). Reviewer: Merlin Carl (Konstanz) MSC: 03-01 03B05 03Exx 91Bxx 03B10 03B70 94D05 PDFBibTeX XMLCite \textit{Y. Nievergelt}, Logic, mathematics, and computer science. Modern foundations with practical applications. 2nd edition, originally published under the title Foundations of logic and mathematics. Applications to computer science and cryptography. New York, NY: Springer (2015; Zbl 1334.03002) Full Text: DOI
Gauthier, Yvon Towards an arithmetical logic. The arithmetical foundations of logic. (English) Zbl 1339.03002 Studies in Universal Logic. Cham: Birkhäuser/Springer (ISBN 978-3-319-22086-4/pbk; 978-3-319-22087-1/ebook). xi, 184 p. (2015). Reviewer: Roman Murawski (Poznań) MSC: 03-02 03A05 03F30 03-03 01A55 01A60 PDFBibTeX XMLCite \textit{Y. Gauthier}, Towards an arithmetical logic. The arithmetical foundations of logic. Cham: Birkhäuser/Springer (2015; Zbl 1339.03002) Full Text: DOI
Simon, Pierre A guide to NIP theories. (English) Zbl 1332.03001 Lecture Notes in Logic 44. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-05775-3/hbk; 978-1-107-66809-6/pbk; 978-1-107-41513-3/ebook). vii, 156 p. (2015). MSC: 03-02 03C45 03C68 PDFBibTeX XMLCite \textit{P. Simon}, A guide to NIP theories. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2015; Zbl 1332.03001) Full Text: DOI arXiv
Conradie, Willem; Goranko, Valentin Logic and discrete mathematics. A concise introduction. (English) Zbl 1414.03001 Hoboken, NJ: John Wiley & Sons (ISBN 978-1-118-75127-5/pbk). xxiii, 426 p. (2015). Reviewer: Ioan Tomescu (Bucureşti) MSC: 03-01 05-01 PDFBibTeX XMLCite \textit{W. Conradie} and \textit{V. Goranko}, Logic and discrete mathematics. A concise introduction. Hoboken, NJ: John Wiley \& Sons (2015; Zbl 1414.03001)
Dawson, John W. jun. [Babcock, Bruce S.; Weintraub, Steven H.] Why prove it again? Alternative proofs in mathematical practice. With the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub. (English) Zbl 1328.00096 Cham: Birkhäuser/Springer (ISBN 978-3-319-17367-2/hbk; 978-3-319-17368-9/ebook). xi, 204 p. (2015). Reviewer: Mihai Cipu (Bucureşti) MSC: 00A35 00-01 00A05 00A30 01A05 03A05 03F99 11-03 12-03 PDFBibTeX XMLCite \textit{J. W. Dawson jun.}, Why prove it again? Alternative proofs in mathematical practice. With the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub. Cham: Birkhäuser/Springer (2015; Zbl 1328.00096) Full Text: DOI
Mendelson, Elliott Introduction to mathematical logic. 6th ed. (English) Zbl 1314.03001 Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4822-3772-6/hbk; 978-1-4822-3780-1/ebook). xxiv, 489 p. (2015). MSC: 03-01 03B05 03B10 03Cxx 03Dxx 03Exx 03Hxx PDFBibTeX XMLCite \textit{E. Mendelson}, Introduction to mathematical logic. 6th ed. Boca Raton, FL: CRC Press (2015; Zbl 1314.03001)
Smullyan, Raymond M. A beginner’s guide to mathematical logic. (English) Zbl 1404.03001 Mineola, NY: Dover Publications (ISBN 978-0-486-49237-7). iii, 284 p. (2014). MSC: 03-01 03B05 03B10 PDFBibTeX XMLCite \textit{R. M. Smullyan}, A beginner's guide to mathematical logic. Mineola, NY: Dover Publications (2014; Zbl 1404.03001)
Smullyan, Raymond M. A beginner’s guide to mathematical logic. (English) Zbl 1356.03001 Mineola, NY: Dover Publications (ISBN 978-048-649-237-7/pbk; 978-048-678-297-3/ebook). iii, 284 p. (2014). MSC: 03-01 03B05 03B10 03D20 PDFBibTeX XMLCite \textit{R. M. Smullyan}, A beginner's guide to mathematical logic. Mineola, NY: Dover Publications (2014; Zbl 1356.03001)
Frege, Gottlob Angelelli, Ignacio (ed.) [Husserl, E.; Scholz, H.] Begriffsschrift and other essays. With annotations by E. Husserl and H. Scholz. Edited by Ignacio Angelelli. Reprint of the 1964 2nd edition. (Begriffsschrift und andere Aufsätze. Mit E. Husserls und H. Scholz’ Anmerkungen herausgegeben von Ignacio Angelelli.) (German) Zbl 1350.03004 Hildesheim: Georg Olms Verlag (ISBN 978-3-487-00623-9/pbk). xvi, 124 p. (2014). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-03 01A75 01A55 03A05 03B05 03B10 PDFBibTeX XMLCite \textit{G. Frege} and \textit{I. Angelelli} (ed.), Begriffsschrift und andere Aufsätze. Mit E. Husserls und H. Scholz' Anmerkungen herausgegeben von Ignacio Angelelli. Reprint of the 1964 2nd edition. Hildesheim: Georg Olms Verlag (2014; Zbl 1350.03004)
Li, Wei Mathematical logic. Foundations for information science. 2nd revised and extended ed. (English) Zbl 1334.03001 Progress in Computer Science and Applied Logic 25. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0861-3/hbk; 978-3-0348-0862-0/ebook). xiv, 301 p. (2014). MSC: 03-01 03B05 03B10 03B25 03B80 94-01 94A15 PDFBibTeX XMLCite \textit{W. Li}, Mathematical logic. Foundations for information science. 2nd revised and extended ed. Basel: Birkhäuser/Springer (2014; Zbl 1334.03001) Full Text: DOI
Berghammer, Rudolf Mathematics for computer scientists. Basic concepts and structures. (Mathematik für Informatiker. Grundlegende Begriffe und Strukturen.) (German) Zbl 1309.00001 Wiesbaden: Springer Vieweg (ISBN 978-3-658-06287-3/pbk; 978-3-658-06288-0/ebook). x, 280 p. (2014). Reviewer: Eduard Kostolansky (Bratislava) MSC: 00-01 03-01 68-01 00A06 00A35 03B05 03B10 03E20 68R10 PDFBibTeX XMLCite \textit{R. Berghammer}, Mathematik für Informatiker. Grundlegende Begriffe und Strukturen. Wiesbaden: Springer Vieweg (2014; Zbl 1309.00001) Full Text: DOI
Cook, Stephen; Nguyen, Phuong Logical foundations of proof complexity. Reprint of the 2010 hardback ed. (English) Zbl 1284.03001 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-69411-8/pbk; 978-0-511-67627-7/ebook). xv, 479 p. (2014). MSC: 03-01 03-02 03F20 03F30 68Q15 PDFBibTeX XMLCite \textit{S. Cook} and \textit{P. Nguyen}, Logical foundations of proof complexity. Reprint of the 2010 hardback ed. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2014; Zbl 1284.03001) Full Text: DOI
Abrusci, Vito Michele; Tortora de Falco, Lorenzo Logic. Volume 1. Proofs and models of first order. (Logica. Volume 1. Dimostrazioni e modelli al primo ordine.) (Italian) Zbl 1305.03001 Unitext 80. La Matematica per il 3+2. Milan: Springer (ISBN 978-88-470-5537-7/pbk; 978-88-470-5538-4/ebook). ix, 182 p. (2014). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-01 03B10 03C07 03F05 PDFBibTeX XMLCite \textit{V. M. Abrusci} and \textit{L. Tortora de Falco}, Logica. Volume 1. Dimostrazioni e modelli al primo ordine (Italian). Milan: Springer (2014; Zbl 1305.03001) Full Text: DOI
Martins, João Pavão Logic and reasoning. (Lógica e raciocínio.) (Portuguese) Zbl 1294.03001 Cadernos de Lógica e Computação 6. London: College Publications (ISBN 978-1-84890-125-4/pbk). xiv, 438 p. (2014). Reviewer: Max A. Freund (San José) MSC: 03-01 68-01 03B05 03B10 68N17 PDFBibTeX XMLCite \textit{J. P. Martins}, Lógica e raciocínio (Portuguese). London: College Publications (2014; Zbl 1294.03001)
Spiliopoulou, Myra (ed.); Schmidt-Thieme, Lars (ed.); Janning, Ruth (ed.) Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1–3, 2012. (English) Zbl 1301.68022 Studies in Classification, Data Analysis, and Knowledge Organization. Cham: Springer (ISBN 978-3-319-01594-1/pbk; 978-3-319-01595-8/ebook). xxi, 470 p. (2014). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-06 68P01 68T05 68T30 62-07 62P99 PDFBibTeX XMLCite \textit{M. Spiliopoulou} (ed.) et al., Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1--3, 2012. Cham: Springer (2014; Zbl 1301.68022) Full Text: DOI
Horská, Anna Where is the Gödel-point hiding: Gentzen’s consistency proof of 1936 and his representation of constructive ordinals. (English) Zbl 1282.03002 SpringerBriefs in Philosophy. Cham: Springer (ISBN 978-3-319-02170-6/pbk; 978-3-319-02171-3/ebook). ix, 77 p. (2014). Reviewer: M. Yasuhara (Princeton) MSC: 03-02 03F15 03F30 PDFBibTeX XMLCite \textit{A. Horská}, Where is the Gödel-point hiding: Gentzen's consistency proof of 1936 and his representation of constructive ordinals. Cham: Springer (2014; Zbl 1282.03002) Full Text: DOI
Indrzejczak, Andrzej A survey of nonstandard sequent calculus. (Rachunki sekwentowe w logice klasycznej.) (Polish. English summary) Zbl 1380.03002 Łódź: Wydawnictwo Uniwersytetu Łódzkiego; Kraków: Jagiellonian University Press (ISBN 978-83-7525-812-7). x, 299 p. (2013). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03-02 03F03 03F07 03H05 03F05 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Rachunki sekwentowe w logice klasycznej (Polish). Łódź: Wydawnictwo Uniwersytetu Łódzkiego; Kraków: Jagiellonian University Press (2013; Zbl 1380.03002)
Fitting, Melvin Incompleteness in the land of sets. Transl. from the English by Jaime Ramos. (Incompletude na terra dos conjuntos.) (Portuguese) Zbl 1284.03005 Cadernos de Lógica e Computação 4. London: College Publications (ISBN 978-1-84890-109-4). xiii, 161 p. (2013). MSC: 03-02 03-01 03D35 03E30 03F30 03F40 PDFBibTeX XMLCite \textit{M. Fitting}, Incompletude na terra dos conjuntos (Portuguese). London: College Publications (2013; Zbl 1284.03005)
Schenke, Michael Logic calculi in informatics. How is logic used by the computer? (Logikkalküle in der Informatik. Wie wird Logik vom Rechner genutzt?) (German) Zbl 1296.03001 Studienbücher Informatik. Wiesbaden: Springer Vieweg (ISBN 978-3-8348-1887-4/pbk; 978-3-8348-2295-6/ebook). xii, 232 p. (2013). Reviewer: Martin Lange (Kassel) MSC: 03-01 97-01 03B70 68T27 97E30 97P20 PDFBibTeX XMLCite \textit{M. Schenke}, Logikkalküle in der Informatik. Wie wird Logik vom Rechner genutzt?. Wiesbaden: Springer Vieweg (2013; Zbl 1296.03001) Full Text: DOI
Rayo, Agustín The construction of logical space. (English) Zbl 1278.03002 Oxford: Oxford University Press (ISBN 978-0-19-966262-3/hbk; 978-0-19-175539-2/ebook). xix, 220 p. (2013). Reviewer: Max A. Freund (San José) MSC: 03-02 00A30 03A05 03B45 03B65 PDFBibTeX XMLCite \textit{A. Rayo}, The construction of logical space. Oxford: Oxford University Press (2013; Zbl 1278.03002) Full Text: DOI Link
Pudlák, Pavel Logical foundations of mathematics and computational complexity. A gentle introduction. (English) Zbl 1270.03001 Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-00118-0/hbk; 978-3-319-00119-7/ebook). xiv, 695 p. (2013). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03D15 03E30 03E35 03F03 03F20 03F30 03F40 68Q15 PDFBibTeX XMLCite \textit{P. Pudlák}, Logical foundations of mathematics and computational complexity. A gentle introduction. Cham: Springer (2013; Zbl 1270.03001) Full Text: DOI
van Bakel, Steffen (ed.); Berardi, Stefano (ed.); Berger, Ulrich (ed.) Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop (CLAC 2010), Brno, Czech Republic, August 22, 2010. (English) Zbl 1320.03009 Ann. Pure Appl. Logic 164, No. 6, 589-748 (2013). MSC: 03-06 03B05 03B10 03B40 03Fxx 00B25 PDFBibTeX XML
Smith, Peter An introduction to Gödel’s theorems. 2nd ed. (English) Zbl 1270.03002 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-107-60675-3/pbk; 978-1-107-02284-3/hbk). xvi, 388 p. (2013). Reviewer: Saeed Salehi (Tabriz) MSC: 03-01 03-02 03-03 03F30 03F40 PDFBibTeX XMLCite \textit{P. Smith}, An introduction to Gödel's theorems. 2nd ed. Cambridge: Cambridge University Press (2013; Zbl 1270.03002) Full Text: DOI
van Dalen, Dirk Logic and structure. 5th revised and expanded ed. (English) Zbl 1262.03002 Universitext. London: Springer (ISBN 978-1-4471-4557-8/pbk; 978-1-4471-4558-5/ebook). x, 263 p. (2013). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03-02 03B05 03B10 03B15 03B20 03C07 03C20 PDFBibTeX XMLCite \textit{D. van Dalen}, Logic and structure. 5th revised and expanded ed. London: Springer (2013; Zbl 1262.03002) Full Text: DOI
Hilbert, David Ewald, William (ed.); Sieg, Wilfried (ed.); Hallett, Michael (ed.); Majer, Ulrich (ed.); Schlimm, Dirk (ed.) David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. (English) Zbl 1275.03002 David Hilbert’s Lectures on the Foundations of Mathematics and Physics 1891–1933 3. Berlin: Springer (ISBN 978-3-540-20578-4/hbk; 978-3-540-69444-1/ebook). xxv, 1062 p. (2013). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 01A60 01A75 03B30 03F03 03F30 PDFBibTeX XMLCite \textit{D. Hilbert} et al., David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933. In collaboration with Ulrich Majer and Dirk Schlimm. Berlin: Springer (2013; Zbl 1275.03002) Full Text: DOI
Genesereth, Michael; Kao, Eric Introduction to logic. (English) Zbl 1264.03001 Synthesis Lectures on Computer Science 5. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-005-0/pbk; 978-1-62705-006-7/ebook). xiii, 151 p. (2012). Reviewer: Audrey Yap (Victoria) MSC: 03-01 03B70 PDFBibTeX XMLCite \textit{M. Genesereth} and \textit{E. Kao}, Introduction to logic. San Rafael, CA: Morgan \& Claypool Publishers (2012; Zbl 1264.03001) Full Text: DOI
Ben-Ari, Mordechai Mathematical logic for computer science. 3rd ed. (English) Zbl 1248.03001 Berlin: Springer (ISBN 978-1-4471-4128-0/pbk; 978-1-4471-4129-7/ebook). xv, 346 p. (2012). Reviewer: Damas Gruska (Bratislava) MSC: 03-01 68-01 00A06 03B05 03B10 03B35 03B44 03B70 68N17 68Q25 68Q60 68T15 97E30 97P20 PDFBibTeX XMLCite \textit{M. Ben-Ari}, Mathematical logic for computer science. 3rd ed. Berlin: Springer (2012; Zbl 1248.03001) Full Text: DOI
Nešetřil, Jaroslav; Ossona de Mendez, Patrice Sparsity. Graphs, structures, and algorithms. (English) Zbl 1268.05002 Algorithms and Combinatorics 28. Berlin: Springer (ISBN 978-3-642-27874-7/hbk; 978-3-642-27875-4/ebook). xxiii, 457 p. (2012). Reviewer: Tadashi Sakuma (Yamagata) MSC: 05-02 05C42 05C60 05C75 05C83 05C85 03C13 PDFBibTeX XMLCite \textit{J. Nešetřil} and \textit{P. Ossona de Mendez}, Sparsity. Graphs, structures, and algorithms. Berlin: Springer (2012; Zbl 1268.05002) Full Text: DOI
Tent, Katrin; Ziegler, Martin A course in model theory. (English) Zbl 1245.03002 Lecture Notes in Logic 40. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76324-0/hbk). x, 248 p. (2012). Reviewer: Tim Netzer (Leipzig) MSC: 03-01 03B10 03Cxx PDFBibTeX XMLCite \textit{K. Tent} and \textit{M. Ziegler}, A course in model theory. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2012; Zbl 1245.03002)
Mundici, Daniele Logic. A brief course. Translated from the Italian by Krzysztof R. Apt. (English) Zbl 1235.03001 Unitext 60. La Matematica per il 3+2. Berlin: Springer (ISBN 978-88-470-2360-4/pbk; 978-88-470-2361-1/ebook). xi, 124 p. (2012). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03B05 03B10 03F40 PDFBibTeX XMLCite \textit{D. Mundici}, Logic. A brief course. Translated from the Italian by Krzysztof R. Apt. Berlin: Springer (2012; Zbl 1235.03001) Full Text: DOI
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John [Liu, Albert; Murray, Michael; Pease, Emma] Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM. 2nd revised ed. (English) Zbl 1318.03001 Stanford, CA: CSLI Publications (ISBN 978-1-57586-632-1/pbk). xiii, 606 p., vii, 56 p./software manual. (2011). MSC: 03-01 03B05 03B10 03E20 PDFBibTeX XMLCite \textit{D. Barker-Plummer} et al., Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM. 2nd revised ed. Stanford, CA: CSLI Publications (2011; Zbl 1318.03001)
Girard, Jean-Yves The blind spot. Lectures on logic. (English) Zbl 1238.03045 Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-088-3/hbk). xiii, 537 p. (2011). Reviewer: Esfandiar Haghverdi (Bloomington) MSC: 03Fxx 03-02 03-03 03A05 03B10 03B15 03B47 03B70 03F03 03F05 03F07 03F52 03G30 18C50 18D15 PDFBibTeX XMLCite \textit{J.-Y. Girard}, The blind spot. Lectures on logic. Zürich: European Mathematical Society (EMS) (2011; Zbl 1238.03045) Full Text: DOI
Toman, David; Weddell, Grant Fundamentals of physical design and query compilation. (English) Zbl 1238.68004 Synthesis Lectures on Data Management 18. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-278-1/pbk; 978-1-60845-279-8/ebook). xiii, 110 p. (2011). Reviewer: Mihai Gabroveanu (Craiova) MSC: 68-01 68P15 03B10 PDFBibTeX XMLCite \textit{D. Toman} and \textit{G. Weddell}, Fundamentals of physical design and query compilation. San Rafael, CA: Morgan \& Claypool Publishers (2011; Zbl 1238.68004) Full Text: DOI
Prestel, Alexander; Delzell, Charles N. Mathematical logic and model theory. A brief introduction. (English) Zbl 1241.03001 Universitext. Berlin: Springer (ISBN 978-1-4471-2175-6/pbk; 978-1-4471-2176-3/ebook). x, 193 p. (2011). Reviewer: M. Yasuhara (Princeton) MSC: 03-01 03C07 03C52 03C60 03C98 11U09 PDFBibTeX XMLCite \textit{A. Prestel} and \textit{C. N. Delzell}, Mathematical logic and model theory. A brief introduction. Berlin: Springer (2011; Zbl 1241.03001) Full Text: DOI
Mundici, Daniele Logic. The short method. (Logica. Metodo breve.) (Italian) Zbl 1211.03001 Unitext 50. La Matematica per il 3+2. Milano: Springer (ISBN 978-88-470-1883-9/pbk; 978-88-470-1884-6). xi, 126 p. (2011). Reviewer: Victor V. Pambuccian (Dortmund) MSC: 03-01 03B05 03B10 PDFBibTeX XMLCite \textit{D. Mundici}, Logica. Metodo breve (Italian). Milano: Springer (2011; Zbl 1211.03001) Full Text: DOI
Väänänen, Jouko Models and games. (English) Zbl 1233.03001 Cambridge Studies in Advanced Mathematics 132. Cambridge: Cambridge University Press (ISBN 978-0-521-51812-3/hbk). xi, 367 p. (2011). Reviewer: Daniele Mundici (Firenze) MSC: 03-01 03-02 03Cxx 91A80 PDFBibTeX XMLCite \textit{J. Väänänen}, Models and games. Cambridge: Cambridge University Press (2011; Zbl 1233.03001)
Esparza, Javier (ed.); Michaux, Christian (ed.); Steinhorn, Charles (ed.) Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. (English) Zbl 1213.03003 London Mathematical Society Lecture Note Series 379. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). xi, 341 p. (2011). MSC: 03-06 03C07 03C13 00B25 PDFBibTeX XMLCite \textit{J. Esparza} (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9--13, 2006. Cambridge: Cambridge University Press (2011; Zbl 1213.03003)
Dowek, Gilles Proofs and algorithms. An introduction to logic and computability. (English) Zbl 1230.03001 Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155 p. (2011). Reviewer: Damas Gruska (Bratislava) MSC: 03-01 68-01 03B10 03B25 03B35 03B40 03B70 03C07 03D10 03D20 03D35 03F03 68Q05 68W01 PDFBibTeX XMLCite \textit{G. Dowek}, Proofs and algorithms. An introduction to logic and computability. New York, NY: Springer (2011; Zbl 1230.03001) Full Text: DOI
Krajíček, Jan Forcing with random variables and proof complexity. (English) Zbl 1219.03071 London Mathematical Society Lecture Note Series 382. Cambridge: Cambridge University Press (ISBN 978-0-521-15433-8/pbk). xvi, 247 p. (2011). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03-02 03C62 03F30 68Q17 PDFBibTeX XMLCite \textit{J. Krajíček}, Forcing with random variables and proof complexity. Cambridge: Cambridge University Press (2011; Zbl 1219.03071)
Caferra, Ricardo Logic for informatics and artificial intelligence. (Logique pour l’informatique et pour l’intelligence artificielle.) (French) Zbl 1217.03001 Collection Informatique. Paris: Lavoisier (ISBN 978-2-7462-2600-5/pbk). 424 p. (2011). Reviewer: Éric Martin (Sydney) MSC: 03-01 03B70 68T27 PDFBibTeX XMLCite \textit{R. Caferra}, Logique pour l'informatique et pour l'intelligence artificielle. Paris: Lavoisier (2011; Zbl 1217.03001)
Boričić, Branislav Logic and proof. (English) Zbl 1214.03043 Beograd: Centar za Izdavačku Delatnost Ekonomoskog Fakulteta u Beogradu (ISBN 978-86-403-1096-3/pbk). iv, 154 p. (2011). Reviewer: M. Yasuhara (Princeton) MSC: 03F03 03-01 03-02 03B05 03B10 03B20 03B45 03B52 03B55 03B60 03F05 PDFBibTeX XMLCite \textit{B. Boričić}, Logic and proof. Beograd: Centar za Izdavačku Delatnost Ekonomoskog Fakulteta u Beogradu (2011; Zbl 1214.03043)
Braüner, Torben Hybrid logic and its proof-theory. (English) Zbl 1217.03021 Applied Logic Series 37. Berlin: Springer (ISBN 978-94-007-0001-7/hbk; 978-94-007-0002-4/ebook). xiii, 231 p. (2011). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B45 03B60 03F03 03-02 PDFBibTeX XMLCite \textit{T. Braüner}, Hybrid logic and its proof-theory. Berlin: Springer (2011; Zbl 1217.03021) Full Text: DOI
Halbach, Volker The logic manual. (English) Zbl 1420.03001 Oxford: Oxford University Press (ISBN 978-0-19-958783-4/hbk; 978-0-19-958784-1/pbk). x, 194 p. (2010). MSC: 03-01 03B05 03B10 03A05 00A06 PDFBibTeX XMLCite \textit{V. Halbach}, The logic manual. Oxford: Oxford University Press (2010; Zbl 1420.03001)
Wang, Guojun; Zhou, Hong-Jun Introduction to mathematical logic and resolution principle. 2nd ed. (English) Zbl 1231.03001 New Delhi: Narosa Publishing House (ISBN 978-1-84265-566-5). viii, 335 p. (2010). MSC: 03-01 03B05 03B10 03B50 03G05 PDFBibTeX XMLCite \textit{G. Wang} and \textit{H.-J. Zhou}, Introduction to mathematical logic and resolution principle. 2nd ed. New Delhi: Narosa Publishing House (2010; Zbl 1231.03001)
Dowek, Gilles Proofs and algorithms. An introduction to logic and computability. (Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité.) (French) Zbl 1230.03002 Palaiseau: Les Éditions de l’École Polytechnique (ISBN 978-2-7302-1569-5). 195 p. (2010). MSC: 03-01 68-01 03B10 03B25 03B35 03B40 03B70 03C07 03D10 03D20 03D35 03F03 68Q05 68W01 PDFBibTeX XMLCite \textit{G. Dowek}, Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité. Palaiseau: Les Éditions de l'École Polytechnique (2010; Zbl 1230.03002)
vander Nat, Arnold Simple formal logic. With common-sense symbolic techniques. (English) Zbl 1215.03002 London: Routledge (ISBN 978-0-415-99745-4/hbk). xi, 348 p. (2010). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 00A06 PDFBibTeX XMLCite \textit{A. vander Nat}, Simple formal logic. With common-sense symbolic techniques. London: Routledge (2010; Zbl 1215.03002)
Cégielski, Patrick (ed.) Studies in weak arithmetics. (English) Zbl 1211.03004 CSLI Lecture Notes 196. Stanford, CA: CSLI Publications; Créteil: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est (ISBN 978-1-57586-602-4/pbk). viii, 213 p. (2010). MSC: 03-06 03C62 03F30 03H15 11Uxx 00B15 PDFBibTeX XMLCite \textit{P. Cégielski} (ed.), Studies in weak arithmetics. Stanford, CA: CSLI Publications; Créteil: Presses Universitaires du Pôle de Recherche et d'Enseignement Supérieur Paris-Est (2010; Zbl 1211.03004)
Fisseler, Jens Learning and modeling with probabilistic conditional logic. (English) Zbl 1211.68314 DISKI. Dissertationen zur Künstlichen Intelligenz 328. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft Aka (ISBN 978-1-60750-098-8/pbk; 978-3-89838-328-8/pbk). xi, 223 p. (2010). Reviewer: Alex Nabebin (Moskva) MSC: 68T05 68-02 68T27 68T30 PDFBibTeX XMLCite \textit{J. Fisseler}, Learning and modeling with probabilistic conditional logic. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft Aka (2010; Zbl 1211.68314)
Cook, Stephen; Nguyen, Phuong Logical foundations of proof complexity. (English) Zbl 1206.03051 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-51729-4/hbk). xv, 479 p. (2010). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03F30 68Q15 03-01 03-02 PDFBibTeX XMLCite \textit{S. Cook} and \textit{P. Nguyen}, Logical foundations of proof complexity. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2010; Zbl 1206.03051)