Mathematical logic books

5407 books were found.

Computational Complexity Theory

Computational Complexity Theory
Author: Steve Rudich , Avi Wigderson ISBN: 9780821828724 Format: Hardback	$120.00
Read More >>

Cellular Computing

Cellular Computing
Author: Martyn Amos (Department of Computer Science, School of Engineering and Computer Science and Mathematics, University of Exeter) ISBN: 9780195155402 Format: Paperback	$84.95
The view of the genome as a network of interacting computational components is well-established, but researchers... Read More >>

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory,...
Author: Shawn Hedman ISBN: 9786610758975 Format: Electronic book text	$301.22
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional... Read More >>

Logic Colloquium '99: Lecture Notes in Logic 17

Logic Colloquium '99: Lecture Notes in Logic 17
Author: Jan Van Eijck , Vincent Van Oostrom ISBN: 9781568812038 Format: Paperback	$69.95
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic... Read More >>

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory,...
Author: Shawn Hedman (Department of Mathematics, Florida Southern College) ISBN: 9780198529811 Format: Paperback	$182.95
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional... Read More >>

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory,...
Author: Shawn Hedman (Department of Mathematics, Florida Southern College) ISBN: 9780198529804 Format: Hardback	$490.95
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional... Read More >>

Logic Colloquium '99: Lecture Notes in Logic 17

Logic Colloquium '99: Lecture Notes in Logic 17
Author: Jan Van Eijck , Vincent Van Oostrom ISBN: 9781568811994 Format: Hardback	$168.00
Read More >>

The Parametric Lambda Calculus: A Metamodel for Computation

The Parametric Lambda Calculus: A Metamodel for Computation...
Author: Simona Ronchi Della Rocca , Luca Paolini ISBN: 9783540200321 Format: Hardback	$287.76
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with... Read More >>

Elements of Finite Model Theory

Elements of Finite Model Theory
Author: Leonid Libkin ISBN: 9783540212027 Format: Hardback	$184.67
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of... Read More >>

Mathematik für Informatik und BioInformatik

Mathematik für Informatik und BioInformatik
Author: Manfred Wolff , Peter Hauck ISBN: 9783540205210 Format: Paperback	$105.47
Mathematik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene... Read More >>

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings

Applications and Theory of Petri Nets 2004: 25th International...
Author: Jordi Cortadella , Wolfgang Reisig ISBN: 9783540222361 Format: Paperback	$303.60
This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of... Read More >>

Lectures on Concurrency and Petri Nets: Advances in Petri Nets

Lectures on Concurrency and Petri Nets: Advances in...
Author: Jörg Desel , Wolfgang Reisig ISBN: 9783540222613 Format: Paperback	$340.56
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany... Read More >>

A Modern Perspective on Type Theory: From its Origins until Today

A Modern Perspective on Type Theory: From its Origins...
Author: F.D. Kamareddine , T. Laan ISBN: 9781402023347 Format: Hardback	$578.16
Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern... Read More >>

Nonmeasurable Sets and Functions

Nonmeasurable Sets and Functions
Author: Alexander Kharazishvili (Georgian Technical University, Tbilisi, Georgia) ISBN: 9780444516268 Format: Hardback	$435.60
Devoted to various constructions of sets which are nonmeasurable with respect to invariant measures. This work begins... Read More >>

Kurt Godel

Kurt Godel
Author: Solomon Feferman , John W. Dawson, Jr. ISBN: 9780198566021 Format: Hardback	$695.00
Kurt Godel was the most outstanding logician of the 20th century. These books are part of a five volume set that... Read More >>

Computational Complexity: A Quantitative Perspective. North-Holland Mathematics Studies, Volume 196.

Computational Complexity: A Quantitative Perspective....
Author: Marius Zimand ISBN: 9786611008918 Format: Electronic book text	$1108.80
There has been a common perception that computational complexity is a theory of bad news because its most typical... Read More >>

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development:...
Author: Yves Bertot , G. Huet ISBN: 9783540208549 Format: Hardback	$287.76
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software.... Read More >>

The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming
Author: Kees Doets , Jan van Eijck ISBN: 9780954300692 Format: Paperback	$66.00
Read More >>

Sweet Reason: A Field Guide to Modern Logic

Sweet Reason: A Field Guide to Modern Logic
Author: Tom Tymoczco , Jim Henle ISBN: 9780387989303 Format: Paperback	$145.07
This introduction to the basics of formal and informal logic focuses on the real world, where the discipline of... Read More >>

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-search: Proof Theory, Semantics,...
Author: David J. Pym (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) , Eike Ritter (, Lecturer in Computer Science, University of Birmingham) ISBN: 9780198526339 Format: Hardback	$324.00
Read More >>

Algebraic Theory Of Automata And Languages

Algebraic Theory Of Automata And Languages
Author: Masami Ito (Kyoto Sangyo Univ, Japan) ISBN: 9789810247270 Format: Hardback	$200.64
Read More >>

Functions Modeling Change: WITH Student Access Card eGrade 1 Term

Functions Modeling Change: WITH Student Access Card...
Author: Eric Connally ISBN: 9780471701712 Format: Hardback	$353.63
From the Calculus Consortium based at Harvard University, this comprehensible book prepares readers for the study... Read More >>

Logic and Structure

Logic and Structure
Author: Dirk van Dalen ISBN: 9783540208792 Format: Paperback	$145.07
Contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students... Read More >>

Cellular Computing

Cellular Computing
Author: Martyn Amos (Department of Computer Science, School of Engineering and Computer Science and Mathematics, University of Exeter) ISBN: 9780195155396 Format: Hardback	$203.95
Read More >>

Algebraic Theory of Automata and Languages

Algebraic Theory of Automata and Languages
Author: Masami Ito ISBN: 9786611872557 Format: Electronic book text	$533.28
Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn-Rhodes... Read More >>

Page 174 of 217 ... 169 170 171 172 173 174 175 176 177 178 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now