×

Found 1,975 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

Basic concepts of mathematics. Logic – sets – relations and functions – concept of numbers. 3rd revised and enlarged edition. (Grundbegriffe der Mathematik. Logik – Mengen – Relationen und Funktionen – Zahlbegriff.) (German) Zbl 1511.00004

München: Carl Hanser Verlag (ISBN 978-3-446-47563-2/pbk). viii, 126 p. (2023).
PDFBibTeX XMLCite

Simple type theory. A practical logic for expressing and reasoning about mathematical ideas. (English) Zbl 1515.03002

Computer Science Foundations and Applied Logic. Cham: Birkhäuser (ISBN 978-3-031-21111-9/hbk; 978-3-031-21114-0/pbk; 978-3-031-21112-6/ebook). xiv, 295 p. (2023).
MSC:  03-01 03B38
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

Three times no. A study on negations classical, paraconsistent, and paracomplete. (Três vezes não. Um estudo sobre as negações clássica, paraconsistente e paracompleta.) (Portuguese) Zbl 1522.03002

Cadernos de Lógica e Filosofia 2. London: College Publications (ISBN 978-1-84890-392-0). xiv, 235 p. (2022).
MSC:  03-01 03B53
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

Algebras, lattices, varieties. Volume III. (English) Zbl 1511.08001

Mathematical Surveys and Monographs 269. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6798-2/pbk; 978-1-4704-7130-9/ebook). xvii, 430 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Algebras, lattices, varieties. Volume II. (English) Zbl 1509.08001

Mathematical Surveys and Monographs 268. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6797-5/pbk; 978-1-4704-7129-3/ebook). xvii, 475 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Ultrafilters throughout mathematics. (English) Zbl 1508.03001

Graduate Studies in Mathematics 220. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6900-9/hbk; 978-1-4704-6961-0/pbk; 978-1-4704-6960-3/ebook). xviii, 399 p. (2022).
Reviewer: K. P. Hart (Delft)
PDFBibTeX XMLCite
Full Text: DOI

A structure-oriented construction of the classical number domains. With a view to order structures, algebraic and topological structures. (Ein strukturorientierter Aufbau der klassischen Zahlenbereiche. Mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen.) (German) Zbl 1491.00002

Berlin: Springer Spektrum (ISBN 978-3-662-64886-5/pbk; 978-3-662-64887-2/ebook). xix, 420 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Set theory and foundations of mathematics. An introduction to mathematical logic. Volume II. Foundations of mathematics. (English) Zbl 07408132

Singapore: World Scientific (ISBN 978-981-12-4384-4/hbk; 978-981-12-4386-8/ebook). xiii, 239 p. (2022).
MSC:  03-01
PDFBibTeX XMLCite
Full Text: DOI

Concise introduction to logic and set theory. (English) Zbl 1473.03001

Mathematics and Its Applications: Modelling, Engineering, and Social Sciences. Boca Raton, FL: CRC Press (ISBN 978-0-367-07795-2/hbk; 978-1-032-10622-9/pbk; 978-0-429-02283-8/ebook). ix, 160 p. (2022).
MSC:  03-01 03Bxx 03Exx
PDFBibTeX XMLCite
Full Text: DOI

Linear algebra. With an introduction to discrete mathematics and set theory. (Lineare Algebra. Mit einer Einführung in diskrete Mathematik und Mengenlehre.) (German) Zbl 1492.00004

Berlin: Springer Spektrum (ISBN 978-3-662-63723-4/pbk; 978-3-662-63724-1/ebook). ix, 375 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Uncountable. A philosophical history of number and humanity from antiquity to the present. (English) Zbl 1514.01002

Chicago, IL: The University of Chicago Press (ISBN 978-0-226-64698-5/hbk; 978-0-226-64703-6/ebook). 420 p. (2021).
PDFBibTeX XMLCite

Logic and implication. An introduction to the general algebraic study of non-classical logics. (English) Zbl 07413432

Trends in Logic – Studia Logica Library 57. Cham: Springer (ISBN 978-3-030-85674-8/hbk; 978-3-030-85677-9/pbk; 978-3-030-85675-5/ebook/). xxii, 465 p. (2021).
MSC:  03-01 03Bxx
PDFBibTeX XMLCite
Full Text: DOI

Guide to discrete mathematics. An accessible introduction to the history, theory, logic and applications. 2nd edition. (English) Zbl 1484.68006

Texts in Computer Science. Cham: Springer (ISBN 978-3-030-81587-5/hbk; 978-3-030-81588-2/ebook). xxi, 452 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software