Explore Books on
mathematical logic

1-24 of 74 Books

Cover of Computability and logic by george boolos,richard c. jeffrey,george s. boolos,john p. burgess

Computability and logic

By George Boolos,Richard C. Jeffrey,George S. Boolos,John P. Burgess

Cover of Logic Colloquium 2005 by logic colloquium (2005 athens, greece),costas dimitracopoulos,ludomir newelski,dag normann

Logic Colloquium 2005

By Logic Colloquium (2005 Athens, Greece),Costas Dimitracopoulos,Ludomir Newelski,Dag Normann

Cover of Analysis and logic by c. ward henson,josé iovino,alexander s. kechris,edward odell,a. s. kechris

Analysis and logic

By C. Ward Henson,José Iovino,Alexander S. Kechris,Edward Odell,A. S. Kechris

Cover of Polynomial completeness in algebraic systems by kalle kaarli,alden f. pixley

Polynomial completeness in algebraic systems

By Kalle Kaarli,Alden F. Pixley

Cover of Logic Colloquium '02 by logic colloquium '02 (2002 münster, germany),logic colloquium 0,wolfram pohlers,colloquium logicum 200

Logic Colloquium '02

By Logic Colloquium '02 (2002 Münster, Germany),Logic Colloquium 0,Wolfram Pohlers,Colloquium Logicum 200

Cover of Continuous lattices and domains by gerhard gierz,g. gierz,k. h. hofmann,k. keimel,j. d. lawson,m. mislove,d. s. scott

Continuous lattices and domains

By Gerhard Gierz,G. Gierz,K. H. Hofmann,K. Keimel,J. D. Lawson,M. Mislove,D. S. Scott

Cover of Fuzzy Logic with Engineering Applications by timothy j. ross

Fuzzy Logic with Engineering Applications

By Timothy J. Ross

Cover of Logic Colloquium '99 by logic colloquium (1999 utrecht, netherlands),vincent van oostrom,albert visser,logic colloquium,j. van eijck

Logic Colloquium '99

By Logic Colloquium (1999 Utrecht, Netherlands),Vincent Van Oostrom,Albert Visser,Logic Colloquium,J. Van Eijck

Cover of Finite model theory by heinz-dieter ebbinghaus,jörg flum

Finite model theory

By Heinz-Dieter Ebbinghaus,Jörg Flum

Cover of Mathematical thinking by john p. d'angelo,douglas b. west,douglas brent west

Mathematical thinking

By John P. D'Angelo,Douglas B. West,Douglas Brent West

Cover of Problems in set theory, mathematical logic, and the theory of algorithms by i. a. lavrov,igor lavrov,larisa maksimova

Problems in set theory, mathematical logic, and the theory of algorithms

By I. A. Lavrov,Igor Lavrov,Larisa Maksimova

Cover of Inexhaustibility by torkel franzén,torkel franzen,t. franze

Inexhaustibility

By Torkel Franzén,Torkel Franzen,T. Franze

Cover of Advances in modal logic by marcus kracht,heinrich wansing,michael zakharyaschev

Advances in modal logic

By Marcus Kracht,Heinrich Wansing,Michael Zakharyaschev

Cover of Visual complex analysis by tristan needham

Visual complex analysis

By Tristan Needham

Cover of Equations with involutive operators by n. k. karapeti͡ant͡s,nikolai karapetiants,stefan samko

Equations with involutive operators

By N. K. Karapeti͡ant͡s,Nikolai Karapetiants,Stefan Samko

Cover of Computability by richard l. epstein,richard .l. epstein,walter alexandr carnielli

Computability

By Richard L. Epstein,Richard .L. Epstein,Walter Alexandr Carnielli

Cover of Invariant sets for Windows by timothy n. dragunov,svetlana a. boykova,olga v. malysheva

Invariant sets for Windows

By Timothy N. Dragunov,Svetlana A. Boykova,Olga V. Malysheva

Cover of DNA computing by gheorghe păun,gheorghe paun,grzegorz rozenberg,arto salomaa,anne condon

DNA computing

By Gheorghe Păun,Gheorghe Paun,Grzegorz Rozenberg,Arto Salomaa,Anne Condon

Cover of Logic Colloquium '01 by logic colloquium (2001 vienna, austria),matthias baaz,jan krajicek,austria) logic colloquium (2001 vienna

Logic Colloquium '01

By Logic Colloquium (2001 Vienna, Austria),Matthias Baaz,Jan Krajicek,Austria) Logic Colloquium (2001 Vienna

Cover of Synthesis of finite state machines by tiziano villa,timothy kam,robert k. brayton,alberto l. sangiovanni-vincentelli

Synthesis of finite state machines

By Tiziano Villa,Timothy Kam,Robert K. Brayton,Alberto L. Sangiovanni-Vincentelli

Cover of Algebraic foundations of many-valued reasoning by roberto cignoli,r.l. cignoli,i.m. d'ottaviano,daniele mundici

Algebraic foundations of many-valued reasoning

By Roberto Cignoli,R.L. Cignoli,I.M. d'Ottaviano,Daniele Mundici

Cover of A guide to classical and modern model theory by a. marcja,annalisa marcja,carlo toffalori

A guide to classical and modern model theory

By A. Marcja,Annalisa Marcja,Carlo Toffalori

Cover of Computability by richard l. epstein,walter a. carnielli

Computability

By Richard L. Epstein,Walter A. Carnielli

Cover of Elements of Deductive Inference by joseph bessie,stuart glennan

Elements of Deductive Inference

By Joseph Bessie,Stuart Glennan