Mathematical logic books

5384 books were found.

Identification of Cellular Automata

Identification of Cellular Automata
Author: Andrew I Adamatzky ISBN: 9781280031601 Format: Electronic book text	$253.28
This book presents the foundation and development of the theory of cellular automata identification and its application... Read More >>

Logic and Structure

Logic and Structure
Author: Dirk van Dalen ISBN: 9783540578390 Format: Paperback	$145.07
In this new printing, suggestions and comments of readers have been adopted, a number of errors have been corrected,... Read More >>

Real Numbers, Generalizations of the Reals, and Theories of Continua

Real Numbers, Generalizations of the Reals, and Theories...
Author: P. Ehrlich ISBN: 9780792326892 Format: Hardback	$604.56
Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of... Read More >>

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Higher Order Logic Theorem Proving and Its Applications:...
Author: Thomas F. Melham , Juanito Camilleri ISBN: 9783540584506 Format: Paperback	$237.47
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and... Read More >>

Selected Papers on Automath, Volume 133

Selected Papers on Automath, Volume 133
Author: R P Nederpelt , J H Geuvers ISBN: 9786611779016 Format: Electronic book text	$1320.00
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included... Read More >>

Diagonalization and Self-Reference

Diagonalization and Self-Reference
Author: Raymond M. Smullyan (Professor of Philosophy, Professor of Philosophy, Indiana University) ISBN: 9780198534501 Format: Hardback	$307.95
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment... Read More >>

Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991. Proceedings

Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on...
Author: Dimiter Driankov , Peter W. Eklund ISBN: 9783540582793 Format: Paperback	$100.19
Read More >>

Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Constraints in Computational Logics: First International...
Author: Jean-Pierre Jouannaud ISBN: 9783540584032 Format: Paperback	$197.87
The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming,... Read More >>

Automorphisms of First-order Structures

Automorphisms of First-order Structures
Author: Richard Kaye (School of Mathematics and Statistics, School of Mathematics and Statistics, The University, Edgbaston, Birmingham) , Dugald Macpherson (School of Mathematical Sciences, School of Mathematical Sciences, Queen Mary and Westfield College, London) ISBN: 9780198534686 Format: Hardback	$133.95
This collection of essays discusses a range of topics linking infinite permutation group theory and model theory.... Read More >>

Temporal Logic: Volume 1

Temporal Logic: Volume 1
Author: Dov M. Gabbay , Ian Hodkinson ISBN: 9780198537694 Format: Hardback	$372.95
BL Indispensable reference for both the pure logician and the theoretical computer scientist This long awaited... Read More >>

Logic for Computer Scientists

Logic for Computer Scientists
Author: Uwe Schoening (Universitat Ulm, Germany) ISBN: 9780817634537 Format: Hardback	$145.07
Read More >>

Mathematical Logic

Mathematical Logic
Author: H.-D. Ebbinghaus , J. Flum ISBN: 9780387942582 Format: Hardback	$211.07
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal... Read More >>

Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Logical Foundations of Computer Science: Third International...
Author: Anil Nerode , Yu.V. Matiyasevich ISBN: 9783540581406 Format: Paperback	$176.75
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer... Read More >>

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings

Application and Theory of Petri Nets 1994: 15th International...
Author: Robert Valette ISBN: 9783540581529 Format: Paperback	$229.55
Read More >>

Logic and Information Flow

Logic and Information Flow
Author: Jan van Eijck (Binnenkant 30) , Albert Visser ISBN: 9780262220477 Format: Hardback	$132.00
This text contains contributions from logicians, theoretical computer scientists, philosophers, and semanticists.... Read More >>

Modern Logic: A Text in Elementary Symbolic Logic

Modern Logic: A Text in Elementary Symbolic Logic
Author: Graeme Forbes (Professor of Philosophy, Professor of Philosophy, Tulane University) ISBN: 9780195080292 Format: Paperback	$153.95
Read More >>

Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl and Frege

Mind, Meaning and Mathematics: Essays on the Philosophical...
Author: L. Haaparanta ISBN: 9780792327035 Format: Hardback	$509.52
At the turn of the century, Gottlob Frege and Edmund Husserl both participated in the discussion concerning the... Read More >>

Introduction to Logic and to the Methodology of Deductive Sciences

Introduction to Logic and to the Methodology of Deductive...
Author: The late Alfred Tarski , Jan Tarski ISBN: 9780195044720 Format: Hardback	$303.95
A fourth edition of the book on logic which has been fully revised. It is a fundamental guide to modern mathematical... Read More >>

Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte...
Author: Krzysztof R. Apt , Ernst-Rüdiger Olderog ISBN: 9783540574798 Format: Paperback	$105.47
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle,... Read More >>

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Handbook of Logic in Artificial Intelligence and Logic...
Author: Dov M. Gabbay (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) , C. J. Hogger (Department of Computing, Department of Computing, Imperial College of Science, Technology and Medicine) ISBN: 9780198537465 Format: Hardback	$604.95
A volume in the six book series covering all major areas of application of logic to AI and logic programming. Volume... Read More >>

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Handbook of Logic in Artificial Intelligence and Logic...
Author: Dov M. Gabbay (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) , C. J. Hogger (Department of Computing, Department of Computing, Imperial College of Science, Technology and Medicine) ISBN: 9780198537472 Format: Hardback	$604.95
A volume in the six book series covering all major areas of application of logic to AI and logic programming.Volume... Read More >>

The Structure of Typed Programming Languages

The Structure of Typed Programming Languages
Author: David A. Schmidt , Michael R. Garey ISBN: 9780262193498 Format: Hardback	$211.20
The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.... Read More >>

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

Logical Methods: In Honor of Anil Nerode’s Sixtieth...
Author: John N. Crossley , Jeffrey B. Remmel ISBN: 9780817636906 Format: Hardback	$562.32
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive... Read More >>

From Logic to Logic Programming

From Logic to Logic Programming
Author: Kees Doets ISBN: 9780262041423 Format: Hardback	$126.72
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of... Read More >>

Automated Deduction in Multiple-Valued Logics

Automated Deduction in Multiple-Valued Logics
Author: Reiner Hähnle (, University of Karlsruhe, 7500 Karlsruhe, Germany) ISBN: 9780198539896 Format: Hardback	$156.95
BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified... Read More >>

Page 198 of 216 ... 193 194 195 196 197 198 199 200 201 202 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now