Mathematical logic books

5407 books were found.

Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets

Ones and Zeros: Understanding Boolean Algebra, Digital...
Author: John R. Gregg ISBN: 9780780334267 Format: Paperback	$168.95
Read More >>

Zwei Kulturen: Intuition Und Logik in Kunst Und Wissenschaft

Zwei Kulturen: Intuition Und Logik in Kunst Und Wissenschaft...
Author: Evgenij L Feinberg , W Pfalzer ISBN: 9783540638292 Format: Hardback	$132.00
Feinberg prasentiert in seinem Buch neue Ideen uber spezifische Zuge und Funktionen von Kunst und Menschlichkeit,... Read More >>

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Held in Haifa, Israel, August 9-18, 1995

Logic Colloquium '95: Proceedings of the Annual European...
Author: J.A. Makowsky (Technion-Israel Institute of Technology, Haifa, Israel) , E.V. Ravve (Institute of Technology, Haifa, Israel) ISBN: 9783540639947 Format: Paperback	$224.27
The proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995. The papers discuss... Read More >>

Complex Analysis: Fundamentals of the Classical Theory of Functions

Complex Analysis: Fundamentals of the Classical Theory...
Author: John Stalker ISBN: 9783764340384 Format: Hardback	$192.95
"The classical theory of one complex variable is one of the most beautiful and useful subjects in mathematics, and... Read More >>

Logical Structures for Representation of Knowledge and Uncertainty

Logical Structures for Representation of Knowledge and...
Author: Ellen Hisdal ISBN: 9783790810561 Format: Hardback	$430.32
The M logic goes an important step further than the BP logic in that it can distinguish between certain types of... Read More >>

Elements of Logic via Numbers and Sets

Elements of Logic via Numbers and Sets
Author: D.L. Johnson ISBN: 9783540761235 Format: Paperback	$131.87
In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced... Read More >>

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Handbook of Logic in Artificial Intelligence and Logic...
Author: Dov M. Gabbay (Professor of Computing, Professor of Computing) , C.J. Hogger (Department of Computing, Department of Computing, both t Imperial College) ISBN: 9780198537922 Format: Hardback	$604.95
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major... Read More >>

Language, Truth and Logic in Mathematics

Language, Truth and Logic in Mathematics
Author: Jaakko Hintikka ISBN: 9780792347668 Format: Hardback	$710.16
One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the other hand,... Read More >>

A Set Theory Workbook

A Set Theory Workbook
Author: Iain Adamson ISBN: 9780817640286 Format: Paperback	$131.87
Read More >>

Delta: A Paradox Logic

Delta: A Paradox Logic
Author: Nathaniel S Hellerstein (City College Of San Francisco, Usa) ISBN: 9789810232436 Format: Hardback	$161.04
Read More >>

Proper and Improper Forcing

Proper and Improper Forcing
Author: Saharon Shelah (University of Jerusalem, Israel) ISBN: 9783540517009 Format: Hardback	$533.28
This work deals with set-theoretic independence results, in particular for problems on the continuum. It is designed... Read More >>

A Course on Borel Sets

A Course on Borel Sets
Author: S M Srivastava ISBN: 9781280010279 Format: Undefined	$184.67
A Course on Borel sets provides a thorough introduction to Borel sets and measurable selections and acts as a stepping... Read More >>

Recursive Algebra, Analysis and Combinatorics

Recursive Algebra, Analysis and Combinatorics
Author: Unknown Author , Gerard Meurant ISBN: 9781281049995 Format: Electronic book text	$760.32
Recursive Algebra, Analysis and Combinatorics Read More >>

Recursive Model Theory

Recursive Model Theory
Author: Unknown Author , Gerard Meurant ISBN: 9781281054562 Format: Electronic book text	$617.76
Read More >>

Handbook of Proof Theory

Handbook of Proof Theory
Author: Samuel R Buss (University of California, San Diego) , S R Buss ISBN: 9781281039187 Format: Undefined	$744.48
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects.... Read More >>

A Set Theory Workbook

A Set Theory Workbook
Author: Iain T. Adamson ISBN: 9783764340285 Format: Paperback	$95.95
Providing the student with a number of problems and full solutions in the main concepts of set theory, this volume... Read More >>

Proceedings of the Sixth Asian Logic Conference

Proceedings of the Sixth Asian Logic Conference
Author: Mariko Yasugi , D Ding ISBN: 9781299620292 Format: Electronic book text	$353.76
This volume collects written versions of invited and contributed talks presented at the conference. It covers many... Read More >>

Delta: A Paradox Logic. Series on Knots and Everything, Volume 16.

Delta: A Paradox Logic. Series on Knots and Everything,...
Author: N S K Hellerstein ISBN: 9786611955830 Format: Electronic book text	$348.48
This book is about delta, a paradox logic. In delta, a statement can be true yet false; it is an imaginary state,... Read More >>

Complexity and Real Computation

Complexity and Real Computation
Author: Lenore Blum , Felipe Cucker ISBN: 9780387982816 Format: Hardback	$287.76
The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and is a framework... Read More >>

Finitely Axiomatizable Theories

Finitely Axiomatizable Theories
Author: Mikhail G. Peretyat'kin ISBN: 9780306110627 Format: Hardback	$683.76
This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject... Read More >>

Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms

Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks,...
Author: Da Ruan ISBN: 9780792399995 Format: Hardback	$451.44
Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms is an organized edited collection... Read More >>

Logic for Mathematics and Computer Science

Logic for Mathematics and Computer Science
Author: Stanley N. Burris ISBN: 9780132859745 Format: Hardback	$228.81
"This text provides an elementary ""hands-on"" presentation of mathematical logic topics, new and old." Read More >>

Numbers and Proofs

Numbers and Proofs
Author: Reg Allenby (School of Mathematics, University of Leeds, UK) ISBN: 9780340676530 Format: Paperback	$68.95
An introduction to the notion of proof, enabling the reader to decipher proofs as well as construct their own.... Read More >>

Constraint-Programmierung: Grundlagen und Anwendungen

Constraint-Programmierung: Grundlagen und Anwendungen...
Author: Thom Frühwirth , Slim Abdennadher ISBN: 9783540606703 Format: Paperback	$79.07
Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit ""Constraints""... Read More >>

Aspects of Incompleteness

Aspects of Incompleteness
Author: P. Lindstrom (University of Gothenburg, Sweden) ISBN: 9783540632139 Format: Paperback	$110.88
This volume constitutes an examination of aspects of incompleteness. There are discussions of axiomatizations, partial... Read More >>

Page 192 of 217 ... 187 188 189 190 191 192 193 194 195 196 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now