Mathematical logic books

5384 books were found.

Substructural Logics

Substructural Logics
Author: Kosta Dosen (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Belgrade) , Peter Schroder-Heister (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language, Universität Tübingen) ISBN: 9780198537779 Format: Hardback	$313.00
A collection of papers on substructural logics, the nonclassical logics which arose in response to problems in theoretical... Read More >>

Many-Valued Logics

Many-Valued Logics
Author: Grzegorz Malinowski (Head of Department of Logic, Head of Department of Logic, University of Lodz, Poland) ISBN: 9780198537878 Format: Hardback	$154.95
An elementary exposition of the topics connected with logical many-valuedness. It focuses on the constructions being... Read More >>

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Logic Colloquium '90: ASL Summer Meeting in Helsinki...
Author: Jouko Vaananen , Juha Oikkonen ISBN: 9783540570943 Format: Paperback	$166.19
Read More >>

More Thought Provokers

More Thought Provokers
Author: Doug Rohrer , Joe Spooner ISBN: 9781559530705 Format: Paperback	$39.47
Read More >>

Proof in VDM: A Practitioner’s Guide

Proof in VDM: A Practitioner’s Guide
Author: Juan C. Bicarregui , John Fitzgerald ISBN: 9783540198130 Format: Paperback	$147.71
It is therefore evident that another requirement - for the successful use of proof techniques in the development... Read More >>

Philosophical Logic in Poland

Philosophical Logic in Poland
Author: Jan Wolenski ISBN: 9780792322931 Format: Hardback	$762.96
This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish... Read More >>

Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford Logic Guides, Volume 24.

Introduction to Logic and to the Methodology of the...
Author: Jan Tarski ISBN: 9781280523342 Format: Electronic book text	$752.40
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to... Read More >>

Handbook of Categorical Algebra

Handbook of Categorical Algebra
Author: Francis Borceux (Universite Catholique de Louvain, Belgium) ISBN: 9781299909168 Format: Undefined	$330.00
Second in a three part set, this volume introduces important classes of categories (abelian, monadic, fibred, etc.).... Read More >>

Handbook of Categorical Algebra

Handbook of Categorical Algebra
Author: Francis Borceux (Universite Catholique de Louvain, Belgium) , G -C Rota ISBN: 9781306148108 Format: Undefined	$330.00
Read More >>

Handbook of Categorical Algebra

Handbook of Categorical Algebra
Author: Francis Borceux (Universite Catholique de Louvain, Belgium) , G -C Rota ISBN: 9781306148115 Format: Undefined	$330.00
Second in a three part set, this volume introduces important classes of categories (abelian, monadic, fibred, etc.).... Read More >>

Die Godelschen Unvollstandigkeitssatze: Zur Geschichte Ihrer Entstehung Und Rezeption

Die Godelschen Unvollstandigkeitssatze: Zur Geschichte...
Author: Christel Ketelsen ISBN: 9783515065351 Format: Paperback	$129.36
Read More >>

What Is a Logical System? Studies in Logic and Computation.

What Is a Logical System? Studies in Logic and Computation....
Author: Professor Dov M Gabbay (Imperial College, Univ. of London, UK Imperial College of Science, Technology and Medicine, London Imperial College of Science, Technology and Medicine, London) ISBN: 9786610903276 Format: Electronic book text	$887.17
This extraordinary collection of papers addresses a fundamental question of logic and computation. What is a logical... Read More >>

Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford Logic Guides, Volume 24.

Introduction to Logic and to the Methodology of the...
Author: Jan Tarski ISBN: 9786610523344 Format: Electronic book text	$488.08
Read More >>

Selected Papers on Automath

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

Between Mind and Computer: Fuzzy Science and Engineering

Between Mind and Computer: Fuzzy Science and Engineering...
Author: P-Z Wang , K-F Loe ISBN: 9781322089997 Format: Electronic book text	$409.20
The “Fuzzy Explosion” emanating from Japan has compelled more people than ever to ponder the meaning... Read More >>

Nonmonotonic Logic: Context-Dependent Reasoning

Nonmonotonic Logic: Context-Dependent Reasoning
Author: V. Wiktor Marek , R. Reiter ISBN: 9783540564485 Format: Hardback	$498.96
This monograph gives a presentation of default logic and modal nonmonotonic logics, and discusses their connections... Read More >>

Complexity of Proofs and Their Transformations in Axiomatic Theories

Complexity of Proofs and Their Transformations in Axiomatic...
Author: V. P. Orevkov ISBN: 9780821845769 Format: Hardback	$279.40
Read More >>

Inverse Problems in Mathematical Physics: Lapland Conference on Inverse Problems : Papers

Inverse Problems in Mathematical Physics: Lapland Conference...
Author: Lassi Paivarinta , Erkki Somersalo ISBN: 9783540571957 Format: Hardback	$237.47
Inverse problems occur in numerous contexts and applications in the natural sciences, especially physics, medicine... Read More >>

The Reconstruction of Trees from Their Automorphism Groups

The Reconstruction of Trees from Their Automorphism...
Author: Matatyahu Rubin ISBN: 9780821851876 Format: Paperback	$220.00
Read More >>

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik
Author: Clemens H. Cap ISBN: 9783211825273 Format: Paperback	$134.51
Read More >>

Duality and Definability in First Order Logic

Duality and Definability in First Order Logic
Author: Michael Makkai ISBN: 9780821825655 Format: Paperback	$69.30
Read More >>

Complexité et Décidabilité

Complexité et Décidabilité
Author: Patrick Dehornoy ISBN: 9783540568995 Format: Paperback	$211.07
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux... Read More >>

Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory...
Author: Manfred Droste , Yuri Gurevich ISBN: 9782881249358 Format: Hardback	$388.12
The articles in this book deal with both the specialized aspects of the relationship between mathematical logic... Read More >>

Fuzzy Decision Procedures with Binary Relations: Towards A Unified Theory

Fuzzy Decision Procedures with Binary Relations: Towards...
Author: Leonid Kitainik ISBN: 9780792323679 Format: Hardback	$638.88
In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute... Read More >>

Berechenbarkeit: Rekursive und Programmierbare Funktionen

Berechenbarkeit: Rekursive und Programmierbare Funktionen...
Author: Walter Felscher ISBN: 9783540563549 Format: Paperback	$113.39
Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now