Mathematical logic books

5407 books were found.

Microsoft Log Parser Toolkit: A Complete Toolkit for Microsoft's Undocumented Log Analysis Tool

Microsoft Log Parser Toolkit: A Complete Toolkit for...
Author: Gabriele Giuseppini , Mark Burnett ISBN: 9786611035839 Format: Electronic book text	$210.94
Provides information on Microsoft's log parser tool. This book contains several customized, working scripts and... Read More >>

Proceedings Of The 7th And 8th Asian Logic Conferences

Proceedings Of The 7th And 8th Asian Logic Conferences...
Author: Mariko Yasugi (Kyoto Sangyo Univ, Japan) , Rodney G Downey (Victoria Univ Of Wellington, New Zealand) ISBN: 9789812382610 Format: Hardback	$462.00
A collection of papers from the 7th and the 8th Asian Local Conference on Logic. The 8th conference was also the... Read More >>

Many-Dimensional Modal Logics: Theory and Applications

Many-Dimensional Modal Logics: Theory and Applications...
Author: A. Kurucz (King's College, London, UK) , F. Wolter (University of Liverpool, UK) ISBN: 9780444508263 Format: Hardback	$448.80
Read More >>

Aspects of Incompleteness: Lecture Notes in Logic 10

Aspects of Incompleteness: Lecture Notes in Logic 10...
Author: Per Lindström ISBN: 9781568811734 Format: Paperback	$92.40
In addition to the standard results of Godel and others on incompleteness, (non-) finite axiomability and interpretability,... 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 , Mariko Yasugi ISBN: 9786611908812 Format: Electronic book text	$828.96
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in... Read More >>

Reasoning About Theoretical Entities

Reasoning About Theoretical Entities
Author: Thomas E Forster (Univ Of Cambridge, Uk) ISBN: 9789812385673 Format: Hardback	$100.32
Read More >>

Mathematical Logic In The 20th Century

Mathematical Logic In The 20th Century
Author: Gerald E Sacks (Harvard Univ, Usa) ISBN: 9789810247362 Format: Hardback	$582.19
Read More >>

Theoretische Informatik: Eine kompakte Einführung

Theoretische Informatik: Eine kompakte Einführung
Author: Klaus W. Wagner ISBN: 9783540013136 Format: Paperback	$105.47
Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der... Read More >>

Finite Automata

Finite Automata
Author: ISBN: 9781280160660 Format: Electronic book text	$253.28
Interest in finite automata theory continues to grow, not only because of its applications in computer science,... Read More >>

Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability

Lattice-Valued Logic: An Alternative Approach to Treat...
Author: Yang Xu , Da Ruan ISBN: 9783540401759 Format: Hardback	$393.36
The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly... Read More >>

The Laws of Thought

The Laws of Thought
Author: George Boole ISBN: 9781591020899 Format: Paperback	$34.99
Read More >>

A Guide to Classical and Modern Model Theory

A Guide to Classical and Modern Model Theory
Author: Annalisa Marcja , Carlo Toffalori ISBN: 9781402013317 Format: Paperback	$197.87
Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance,... Read More >>

Advances in Modal Logic

Advances in Modal Logic
Author: M Zakharyaschev , F Wolter ISBN: 9780954300616 Format: Paperback	$79.20
Read More >>

Advances in Modal Logic

Advances in Modal Logic
Author: M Zakharyaschev , F Wolter ISBN: 9780954300623 Format: Hardback	$97.68
Read More >>

Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

Applications and Theory of Petri Nets 2003: 24th International...
Author: Wil van der Aalst , Eike Best ISBN: 9783540403340 Format: Paperback	$213.84
These 25 revised papers presented together with 6 invited contributions were reviewed and selected from 77 submissions.... Read More >>

Challenging The Boundaries Of Symbolic Computation (With Cd-rom) - Proceedings Of The Fifth International Mathematica Symposium

Challenging The Boundaries Of Symbolic Computation (With...
Author: Philip Ramsden (Imperial College, Uk) , Peter Mitic (Positive Cooperation Limited, Uk) ISBN: 9781860943638 Format: Hardback	$472.93
Read More >>

A Guide to Classical and Modern Model Theory

A Guide to Classical and Modern Model Theory
Author: Annalisa Marcja , Carlo Toffalori ISBN: 9781402013300 Format: Hardback	$348.48
Read More >>

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation
Author: R.J. De Queiroz ISBN: 9781402012709 Format: Hardback	$419.76
This text shows the state of the art in contemporary investigations of process calculi with mainly two major paradigms... Read More >>

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Typed Lambda Calculi and Applications: 6th International...
Author: Martin Hofmann ISBN: 9783540403326 Format: Paperback	$153.12
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications,... Read More >>

New Constructions in Cellular Automata

New Constructions in Cellular Automata
Author: David Griffeath (Professor of Mathematics, Professor of Mathematics, University of Wisconsin) , Cristopher Moore (Research Professor, Research Professor, Sante Fe Institute) ISBN: 9780195137187 Format: Paperback	$145.20
"Cellular automata are tools for simulation in physics, ecology, evolution, mathematics and other fields. They are... Read More >>

Algorithms and Complexity: 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings

Algorithms and Complexity: 5th Italian Conference, CIAC...
Author: Rosella Petreschi , Giuseppe Persiano ISBN: 9783540401766 Format: Paperback	$184.67
This book constitutes the refereed proceedings of the 5th Italian Conference on Algorithms and Computation, CIAC... Read More >>

Continuous Lattices and Domains. Encyclopedia of Mathematics and Its Applications 93.

Continuous Lattices and Domains. Encyclopedia of Mathematics...
Author: G Gierz (University of California, Riverside) , K H Hofmann ISBN: 9781280418327 Format: Electronic book text	$820.51
Information content and programming semantics are just two of the applications of the mathematical concepts of order,... Read More >>

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Problems in Set Theory, Mathematical Logic and the Theory...
Author: Igor Lavrov , G. Corsi ISBN: 9780306477126 Format: Hardback	$604.56
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in... Read More >>

"On Formally Undecidable Propositions of ""Principia Mathematica"" and Related Systems"

"On Formally Undecidable Propositions of ""Principia...
Author: Kurt Godel ISBN: 9780486669809 Format: Paperback	$27.99
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic,... Read More >>

First Order Mathematical Logic

First Order Mathematical Logic
Author: Angelo Margaris ISBN: 9780486662695 Format: Paperback	$31.55
Read More >>

Page 176 of 217 ... 171 172 173 174 175 176 177 178 179 180 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now