Mathematical logic books

5407 books were found.

Felix Hausdorff - Gesammelte Werke Band VII: Philosophisches Werk „Sant’ Ilario. Gedanken aus der Landschaft Zarathustras“ „Das Chaos in kosmischer Auslese“ Essays zu Nietzsche

Felix Hausdorff - Gesammelte Werke Band VII: Philosophisches...
Author: Felix Hausdorff , Werner Stegmaier ISBN: 9783540208365 Format: Hardback	$393.36
Band VII der Hausdorff Edition widmet sich dem philosophischen Werk F. Gedanken aus der Landschaft Zarathustras"",... Read More >>

13 Lectures on Combinatorics of Mappings

13 Lectures on Combinatorics of Mappings
Author: Jaroslav Nesetril ISBN: 9783764321994 Format: Paperback	$145.23
Read More >>

DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers

DNA Computing: 9th International Workshop on DNA Based...
Author: Junghuei Chen , John Reif ISBN: 9783540209300 Format: Paperback	$124.08
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on DNA Based Computers,... Read More >>

Deflating Existential Commitment: A Case for Nominalism

Deflating Existential Commitment: A Case for Nominalism...
Author: Jody Azzouni (Professor of Philosophy, Professor of Philosophy, Tufts University) ISBN: 9780195159882 Format: Hardback	$314.00
If we take mathematical statements to be true, then must we also believe in the existence of invisible mathematical... Read More >>

Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings

Concept Lattices: Second International Conference on...
Author: Peter Eklund ISBN: 9783540210436 Format: Paperback	$250.80
This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis.... Read More >>

Greek, Indian and Arabic Logic

Greek, Indian and Arabic Logic
Author: Dov M. Gabbay (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.) , John Woods (University of British Columbia, Vancouver, Canada) ISBN: 9780444504661 Format: Hardback	$541.20
Read More >>

An Introduction to Lambada Calculi for Computer Scientists

An Introduction to Lambada Calculi for Computer Scientists...
Author: Chris Hankin ISBN: 9780954300654 Format: Paperback	$48.84
The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability... Read More >>

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of...
Author: Guo-Qiang Zhang , J. Lawson ISBN: 9781402018329 Format: Hardback	$261.36
With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research... Read More >>

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Theory and Applications of Satisfiability Testing: 6th...
Author: Enrico Giunchiglia , Armando Tacchella ISBN: 9783540208518 Format: Paperback	$213.84
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and... Read More >>

The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives

The Birth of Model Theory: Löwenheim's Theorem in the...
Author: Calixto Badesa ISBN: 9780691058535 Format: Hardback	$180.00
Read More >>

Logic and Complexity

Logic and Complexity
Author: Richard Lassaigne , Michel de Rougemont ISBN: 9781852335656 Format: Hardback	$525.36
Read More >>

Set Theory and its Philosophy: A Critical Introduction

Set Theory and its Philosophy: A Critical Introduction...
Author: Michael Potter (, Department of Philosophy, University of Cambridge) ISBN: 9780199270415 Format: Paperback	$84.95
Offering a philosophical introduction to set theory, this book interweaves a presentation of the technical material... Read More >>

Set Theory and its Philosophy: A Critical Introduction

Set Theory and its Philosophy: A Critical Introduction...
Author: Michael Potter (, Department of Philosophy, University of Cambridge) ISBN: 9780199269730 Format: Hardback	$291.00
Read More >>

Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s

Gnomes in the Fog: The Reception of Brouwer's Intuitionism...
Author: Dennis E Hesseling ISBN: 9780817665364 Format: Hardback	$366.96
Read More >>

The Indispensability of Mathematics

The Indispensability of Mathematics
Author: Mark Colyvan (Lecturer, School of Philosophy, Lecturer, School of Philosophy, University of Tasmania, Australia) ISBN: 9780195166613 Format: Paperback	$123.95
Read More >>

Number Theory and Modular Forms: Papers in Memory of Robert A. Rankin

Number Theory and Modular Forms: Papers in Memory of...
Author: Bruce C. Berndt , Ken Ono ISBN: 9781402076152 Format: Hardback	$472.56
Rankin had broad interests and contributed fundamental papers in a wide variety of areas within number theory, geometry,... Read More >>

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

Petri Net Technology for Communication-Based Systems:...
Author: Hartmut Ehrig , Wolfgang Reisig ISBN: 9783540205388 Format: Paperback	$261.36
This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel... Read More >>

The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic

The Logic System of Concept Graphs with Negation: And...
Author: Frithjof Dau ISBN: 9783540206071 Format: Paperback	$184.67
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of... Read More >>

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

Reductive Logic and Proof-Search: Proof Theory, Semantics,...
Author: Professor of Logic & Computation David J Pym (University of Bath) , Lecturer in Computer Science Eike Ritter (University of Birmingham) ISBN: 9781280847028 Format: Electronic book text	$568.44
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive... Read More >>

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

First Course in Logic, A: An Introduction to Model Theory,...
Author: Department of Mathematics Shawn Hedman (Florida Southern College) ISBN: 9781280758973 Format: Electronic book text	$273.85
Read More >>

Current Topics in Artificial Intelligence: 10th Conference of the Spanish Association for Artificial Intelligence, Caepia 2003, and 5th Conference on Technology Transfer, Ttia 2003, San Sebastian, Spain, November 2003, Revised Selected Papers

Current Topics in Artificial Intelligence: 10th Conference...
Author: Ricardo Conejo , Maite Urretavizcaya ISBN: 9781280307843 Format: Undefined	$295.68
This book constitutes the thoroughly refereed joint post-proceedings of the 10th Conference of the Spanish Association... Read More >>

Inter-Korean Relations

Inter-Korean Relations
Author: Samuel S Kim (Columbia University, New York) ISBN: 9781281368591 Format: Electronic book text	$300.96
Read More >>

Problem Solving in Automata, Languages, and Complexity

Problem Solving in Automata, Languages, and Complexity...
Author: Ding-Zhu Du (University of Minnesota) , Ker-I Ko (State University of New York at Stony Brook) ISBN: 9781280264740 Format: Electronic book text	$465.70
Automata and natural language theory are topics lying at the heart of computer science. Both are linked to computational... Read More >>

The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics

The Reason's Proper Study: Essays towards a Neo-Fregean...
Author: Bob Hale (, University of Glasgow) , Crispin Wright (, University of St Andrews) ISBN: 9780199266326 Format: Paperback	$141.95
Bob Hale and Crispin Wright draw together here the key writings in which they have worked out their distinctive... Read More >>

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

Reductive Logic and Proof-Search: Proof Theory, Semantics,...
Author: David J Pym , Eike Ritter ISBN: 9786610847020 Format: Electronic book text	$1705.33
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now