Mathematical logic books

5407 books were found.

New Constructions in Cellular Automata. Santa Fe Institute Studies in the Sciences of Complexity.

New Constructions in Cellular Automata. Santa Fe Institute...
Author: David Griffeath , Cristopher Moore ISBN: 9786610703920 Format: Electronic book text	$154.84
Read More >>

Introduccion a la Teoria de La Computabilidad (2. Edicion)

Introduccion a la Teoria de La Computabilidad (2. Edicion)...
Author: ISBN: 9781282575103 Format: Electronic book text	$171.60
Read More >>

Proceedings of the 7th and 8th Asian Logic Conferences, Hsi-Tou, Taiwan 6 - 10 June 1999, Chongqing, China 29 August - 2 September 2002

Proceedings of the 7th and 8th Asian Logic Conferences,...
Author: Rod Downey (Victoria University of Wellington) , Mariko Yasugi ISBN: 9781281908810 Format: Electronic book text	$414.48
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in... Read More >>

Gdh 2002

Gdh 2002
Author: M Anghinolfi , M Battaglieri ISBN: 9781281908650 Format: Electronic book text	$913.44
Read More >>

Memoirs of a Proof Theorist: Godel and Other Logicians

Memoirs of a Proof Theorist: Godel and Other Logicians...
Author: Mariko Yasugi , Nicholas Passell ISBN: 9781281935755 Format: Electronic book text	$158.40
This volume is a translation of the book Godel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist.... Read More >>

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for Systems Engineering: A Guide to Modeling,...
Author: Claude Girault , Rüdiger Valk ISBN: 9783540412175 Format: Hardback	$314.16
With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim,... Read More >>

Probabilistic Logic in a Coherent Setting

Probabilistic Logic in a Coherent Setting
Author: Giulianella Coletti , R. Scozzafava ISBN: 9781402009709 Format: Paperback	$184.67
The approach to probability theory followed in this book (which differs radically from the usual one, based on a... Read More >>

Probabilistic Logic in a Coherent Setting

Probabilistic Logic in a Coherent Setting
Author: Giulianella Coletti , R. Scozzafava ISBN: 9781402009174 Format: Hardback	$446.16
The approach to probability theory followed in this book (which differs radically from the usual one, based on a... Read More >>

Verification of Computer Codes in Computational Science and Engineering

Verification of Computer Codes in Computational Science...
Author: Patrick Knupp , Kambiz Salari ISBN: 9781584882640 Format: Hardback	$326.00
Sets forth a procedure called OVMSP: Order-Verification via the Manufactured Solution Procedure that offers an opportunity... Read More >>

The LIMITS of MATHEMATICS: A Course on Information Theory and the Limits of Formal Reasoning

The LIMITS of MATHEMATICS: A Course on Information Theory...
Author: Gregory J. Chaitin ISBN: 9781852336684 Format: Hardback	$237.47
As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information... Read More >>

A Mathematical Theory of Arguments for Statistical Evidence

A Mathematical Theory of Arguments for Statistical Evidence...
Author: Paul-Andre Monney ISBN: 9783790815276 Format: Paperback	$131.87
The subject of this book is the reasoning under uncertainty based on sta tistical evidence, where the word reasoning... Read More >>

Felix Hausdorff - Gesammelte Werke Band II: Grundzüge der Mengenlehre

Felix Hausdorff - Gesammelte Werke Band II: Grundzüge...
Author: Egbert Brieskorn , Srishti Chatterji ISBN: 9783540422242 Format: Hardback	$393.36
Der vorliegende Band II enthält Hausdorffs wohl wichtigstes Werk, die ""Grundzüge der Mengenlehre"" Dieses Buch... Read More >>

Logic and Algebra

Logic and Algebra
Author: Yi Zhang ISBN: 9780821829844 Format: Paperback	$220.00
Outlines developments in model theory and combinatorial set theory. This book deals with questions of model theory... Read More >>

Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning...
Author: L. Magnani , N.J. Nersessian ISBN: 9781402007910 Format: Paperback	$139.79
I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important... Read More >>

Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning...
Author: L. Magnani , N.J. Nersessian ISBN: 9781402007125 Format: Hardback	$551.76
I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important... Read More >>

Advances In Modal Logic, Volume 3

Advances In Modal Logic, Volume 3
Author: Maarten De Rijke (Univ Of Amsterdam, The Netherlands) , Heinrich Wansing (Dresden Univ Of Technology, Germany) ISBN: 9789812381798 Format: Hardback	$287.76
A presentation of advances in the relational model theory and the algorithmic treatment of modal logics. It contains... Read More >>

Deduction: Introductory Symbolic Logic

Deduction: Introductory Symbolic Logic
Author: Daniel Bonevac (University of Texas, Austin) ISBN: 9780631227137 Format: Paperback	$75.95
Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system... Read More >>

Deduction: Introductory Symbolic Logic

Deduction: Introductory Symbolic Logic
Author: Daniel Bonevac ISBN: 9780631227106 Format: Hardback	$369.47
Read More >>

Sketches of an Elephant: A Topos Theory Compendium: Volume 1

Sketches of an Elephant: A Topos Theory Compendium:...
Author: Peter T. Johnstone (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, UK) ISBN: 9780198534259 Format: Hardback	$689.00
Topos Theory is a branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers... Read More >>

Sketches of an Elephant: A Topos Theory Compendium: Volume 2

Sketches of an Elephant: A Topos Theory Compendium:...
Author: Peter T. Johnstone (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, UK) ISBN: 9780198515982 Format: Hardback	$689.00
Topos Theory is a branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers... Read More >>

Information and Randomness: An Algorithmic Perspective

Information and Randomness: An Algorithmic Perspective...
Author: Cristian S. Calude ISBN: 9783540434665 Format: Hardback	$287.76
"" The vigorous growth in the study of algorithmic information theory has continued during the past few years, which... Read More >>

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium
Author: Peter T. Johnstone ISBN: 9780198524960 Format: Hardback	$577.95
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science,... Read More >>

Agent-Based Defeasible Control in Dynamic Environments

Agent-Based Defeasible Control in Dynamic Environments...
Author: John-Jules Ch. Meyer , Jan Treur ISBN: 9781402008344 Format: Hardback	$752.40
Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both ""Dynamics of... Read More >>

Model Theory : An Introduction

Model Theory : An Introduction
Author: David Marker ISBN: 9780387987606 Format: Hardback	$171.47
Offers an introductory course in model theory emphasizing connections to algebra. This book is an introduction both... Read More >>

Current Trends in Transformation Groups

Current Trends in Transformation Groups
Author: Anthony Bak , Masaharu Morimoto ISBN: 9781402007835 Format: Hardback	$446.16
This book provides an overview of some of the most active topics in the theory of transformation groups over the... Read More >>

Page 178 of 217 ... 173 174 175 176 177 178 179 180 181 182 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now