Mathematical logic books

5407 books were found.

Théorie des ensembles

Théorie des ensembles
Author: N. Bourbaki ISBN: 9783540340348 Format: Paperback	$287.76
Les Éléments de mathématique de Nicolas Bourbaki ont pour objet une présentation rigoureuse, systématique et sans... Read More >>

Symbolic Logic

Symbolic Logic
Author: John Venn ISBN: 9780821841990 Format: Hardback	$116.60
Read More >>

Mathematical Logic: A First Course

Mathematical Logic: A First Course
Author: Joel W Robbin ISBN: 9780486450186 Format: Paperback	$27.99
Read More >>

Algorithmic Information Theory: Mathematics of Digital Information Processing

Algorithmic Information Theory: Mathematics of Digital...
Author: Peter Seibt ISBN: 9783540332183 Format: Hardback	$419.76
Shall we be destined to the days of eternity, on holy-days,as well as working days, to be shewing the RELICKS OF... Read More >>

Mathematics and Logic in History and in Contemporary Thought

Mathematics and Logic in History and in Contemporary...
Author: Ettore Carruccio , Isabel Quigly ISBN: 9780202308500 Format: Paperback	$92.99
Covering the evolution of mathematics since the ancient times, this work observes the changes that have taken place... Read More >>

Theorems, Corollaries, Lemmas, and Methods of Proof

Theorems, Corollaries, Lemmas, and Methods of Proof...
Author: Richard J. Rossi (Montana Tech, The University of Montana) ISBN: 9780470042953 Format: Hardback	$276.95
The primary purpose of this text is to introduce math majors, who have completed a calculus sequence, to the axiomatic... Read More >>

Lectures on the Curry-Howard Isomorphism. Studies in Logic and the Foundations of Mathematics, Volume 149.

Lectures on the Curry-Howard Isomorphism. Studies in...
Author: Morten Heine Srensen , Pawel Urzyczyn ISBN: 9786611051051 Format: Electronic book text	$696.96
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in... Read More >>

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Theory and Applications of Satisfiability Testing -...
Author: Armin Biere , Carla P. Gomes ISBN: 9783540372066 Format: Paperback	$205.92
Constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability... Read More >>

Classical Mathematical Logic: The Semantic Foundations of Logic

Classical Mathematical Logic: The Semantic Foundations...
Author: Richard L. Epstein , Leslaw W. Szczerba ISBN: 9780691123004 Format: Hardback	$250.00
Read More >>

Logic Colloquium '02: Lecture Notes in Logic 27

Logic Colloquium '02: Lecture Notes in Logic 27
Author: Zoe Chatzidakis , Peter Koepke ISBN: 9781568813011 Format: Paperback	$92.99
Read More >>

Logic Colloquium '02: Lecture Notes in Logic 27

Logic Colloquium '02: Lecture Notes in Logic 27
Author: Zoe Chatzidakis , Peter Koepke ISBN: 9781568813004 Format: Hardback	$164.00
Logic Colloquium '02 includes articles from some of the world's preeminent logicians Read More >>

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism
Author: Morten Heine Sørensen, M.Sc, Ph.D (University of Copenhagen, Denmark) , Pawel Urzyczyn (Warsaw University, Poland) ISBN: 9780444520777 Format: Hardback	$382.80
Read More >>

Model Based Reasoning in Science and Engineering

Model Based Reasoning in Science and Engineering
Author: Lorenzo Magnani ISBN: 9781904987239 Format: Paperback	$46.58
Read More >>

Advances in Modal Logic

Advances in Modal Logic
Author: Guido Governatori , Ian Hodkinson ISBN: 9781904987208 Format: Paperback	$41.40
Read More >>

Models and Ultraproducts: An Introduction

Models and Ultraproducts: An Introduction
Author: J L Bell , A B Slomson ISBN: 9780486449791 Format: Paperback	$50.03
This first-year graduate text assumes only an acquaintance with set theory to explore homogeneous universal models,... Read More >>

The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic
Author: Roman Kossak (City University of New York) , James Schmerl (University of Connecticut, Storrs) ISBN: 9780198568278 Format: Hardback	$285.00
Read More >>

Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings

Developments in Language Theory: 10th International...
Author: Oscar H. Ibarra , Zhe Dang ISBN: 9783540354284 Format: Paperback	$221.76
Constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT... Read More >>

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings

Petri Nets and Other Models of Concurrency - ICATPN...
Author: Susanna Donatelli , P.S. Thiagarajan ISBN: 9783540346999 Format: Paperback	$221.76
Constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets... Read More >>

Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games, 1e Student Solutions Manual

Discrete Mathematics: Mathematical Reasoning and Proof...
Author: Douglas E. Ensley (Shippensburg University) , J. Winston Crawley (Shippensburg University) ISBN: 9780471760979 Format: Paperback	$67.95
Based on the ACM guidelines, Discrete Mathematics will help readers master and apply the central topics of discrete... Read More >>

Building Models by Games

Building Models by Games
Author: Wilfrid Hodges ISBN: 9780486450179 Format: Paperback	$50.03
"This volume presents research by algebraists and model theorists in accessible form for advanced undergraduates... Read More >>

Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic
Author: Robert Goldblatt ISBN: 9780486450261 Format: Paperback	$79.99
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced... Read More >>

Logic and the Modalities in the Twentieth Century: (Volume 7, Handbook of the History of Logic)

Logic and the Modalities in the Twentieth Century: (Volume...
Author: Gabbay ISBN: 9786610630936 Format: Electronic book text	$1214.40
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the... Read More >>

Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

Logic in Tehran: Proceedings of the Workshop and Conference...
Author: Ali Enayat , Iraj Kalantari ISBN: 9781568812960 Format: Paperback	$69.95
This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications... Read More >>

Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

Logic in Tehran: Proceedings of the Workshop and Conference...
Author: Ali Enayat , Iraj Kalantari ISBN: 9781568812953 Format: Hardback	$110.00
Read More >>

Algebraic Logic

Algebraic Logic
Author: Paul R. Halmos ISBN: 9780821841389 Format: Hardback	$116.60
A collection of Paul Halmos' articles written on the subject of algebraic logic (the theory of Boolean functions).... Read More >>

Page 165 of 217 ... 160 161 162 163 164 165 166 167 168 169 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now