×

Found 537 Documents (Results 1–100)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link Link

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

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
MSC:  68-06 68P01 68T05 68T30 62-07 62P99
PDFBibTeX XMLCite
Full Text: DOI

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).
MSC:  03-02 03F15 03F30
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
MSC:  68-01 68P15 03B10
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

Filter Results by …

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software