Mathematical logic books

5384 books were found.

The Homology of Iterated Loop Spaces

The Homology of Iterated Loop Spaces
Author: F. R. Cohen , T. J. Lada ISBN: 9783540079842 Format: Paperback	$184.67
Read More >>

Mathematical Logic

Mathematical Logic
Author: J.D. Monk ISBN: 9780387901701 Format: Hardback	$197.87
We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics... Read More >>

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte...
Author: J. Diller , G.H. Müller ISBN: 9783540075332 Format: Paperback	$121.44
Read More >>

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

ISILC - Logic Conference: Proceedings of the International...
Author: G. H. Müller , A. Oberschelp ISBN: 9783540075349 Format: Paperback	$184.67
Read More >>

Infinitary Logic: In Memoriam Carol Karp

Infinitary Logic: In Memoriam Carol Karp
Author: D. W. Kueker ISBN: 9783540074199 Format: Paperback	$121.44
A Collection of Papers by Varoius Authors Read More >>

λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche

λ-Calculus and Computer Science Theory: Proceedings...
Author: C. Böhm ISBN: 9783540074168 Format: Paperback	$52.80
Read More >>

An Algebraic Introduction to Mathematical Logic

An Algebraic Introduction to Mathematical Logic
Author: D W Barnes , Donald W Barnes ISBN: 9780387901091 Format: Hardback	$60.98
Read More >>

Shape Grammars and their Uses: Artificial Perception, Shape Generation and Computer Aesthetics

Shape Grammars and their Uses: Artificial Perception,...
Author: GIPS , James Gips ISBN: 9783764307943 Format: Paperback	$79.07
Shape grammars provide a means for the recursive specification of shapes. Where a phrase structura grammar is defined... Read More >>

Sheaf Theory

Sheaf Theory
Author: B R Tennison ISBN: 9781299403536 Format: Undefined	$330.00
Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of the connection... Read More >>

Course of Mathematical Logic: Volume 2 Model Theory

Course of Mathematical Logic: Volume 2 Model Theory...
Author: R. Fraïssé , David Louvish ISBN: 9789027705105 Format: Paperback	$215.16
Read More >>

Course of Mathematical Logic: Volume 2 Model Theory

Course of Mathematical Logic: Volume 2 Model Theory...
Author: R. Fraïssé , David Louvish ISBN: 9789027702692 Format: Hardback	$409.20
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest... Read More >>

Lectures on Boolean Algebras

Lectures on Boolean Algebras
Author: Steven Givant , P.R. Halmos ISBN: 9780387900940 Format: Paperback	$35.64
Ann Arbor, Michigan ] anuary, 1963 Contents Section Page 1 1 Boolean rings ............................ 4 Regular... Read More >>

Logique Moderne, Fasc II, Logique des propositions et des prédicats, tables de vérité et axiomatisation

Logique Moderne, Fasc II, Logique des propositions et...
Author: Jean-Blaise Grize , Jean-Blaise Grize ISBN: 9789027968739 Format: Hardback	$332.64
No detailed description available for ""Logique des propositions et des prédicats, tables de vérité et axiomatisation"".... Read More >>

Course of Mathematical Logic: Volume I Relation and Logical Formula

Course of Mathematical Logic: Volume I Relation and...
Author: David Louvish , R. Fraïssé ISBN: 9789027704030 Format: Paperback	$198.00
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest... Read More >>

Course of Mathematical Logic: Volume I Relation and Logical Formula

Course of Mathematical Logic: Volume I Relation and...
Author: David Louvish , R. Fraïssé ISBN: 9789027702685 Format: Hardback	$409.20
This book is addressed primarily to researchers specializing in mathemat ical logic. It may also be of interest... Read More >>

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic...
Author: Anne S. Troelstra ISBN: 9783540064916 Format: Paperback	$184.67
Read More >>

Foundations of Set Theory. Studies in Logic and the Foundations of Mathematics, Volume 67.

Foundations of Set Theory. Studies in Logic and the...
Author: A A Fraenkel , Bar-Hillel y ISBN: 9786611777654 Format: Electronic book text	$781.44
Read More >>

Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971

Cambridge Summer School in Mathematical Logic: Held...
Author: A. R. D. Mathias , H. Rogers ISBN: 9783540055693 Format: Paperback	$184.67
Read More >>

Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Decidable Theories: Vol. 2: The Monadic Second Order...
Author: J.R. Büchi , G.H. Müller ISBN: 9783540063452 Format: Paperback	$158.27
Read More >>

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Metalogic: An Introduction to the Metatheory of Standard...
Author: Geoffrey Hunter ISBN: 9780520023567 Format: Paperback	$55.95
Read More >>

Logic, Language, and Probability: A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971

Logic, Language, and Probability: A Selection of Papers...
Author: R. Bogdan , I. Niiniluoto ISBN: 9789027703125 Format: Hardback	$261.36
A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology,... Read More >>

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Author: Chin-Liang Chang (Lockheed Missiles & Space Company, Inc., Menlo Park, CA) , Richard Char-Tung Lee (National Tsing Hua University, Hsinchu, Taiwan) ISBN: 9780121703509 Format: Hardback	$208.43
Read More >>

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Author: Chin-Liang Chang , Richard Char Lee ISBN: 9781493300242 Format: Paperback	$192.59
Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This... Read More >>

Axiomatic Set Theory

Axiomatic Set Theory
Author: G. Takeuti , W.M. Zaring ISBN: 9780387900506 Format: Paperback	$55.44
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility,... Read More >>

Logique moderne, Fascicule III, Implications - modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski

Logique moderne, Fascicule III, Implications - modalités,...
Author: Jean-Blaise Grize ISBN: 9783111172798 Format: Hardback	$406.56
No detailed description available for ""Implications - modalités, logiques polyvalentes, logique combinatoire, ontologie... Read More >>

Page 212 of 216 ... 207 208 209 210 211 212 213 214 215 216

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now