Mathematical logic books

5407 books were found.

Forall X: Introductory Textbook in Formal Logic

Forall X: Introductory Textbook in Formal Logic
Author: P D Magnus ISBN: 9781616100353 Format: Paperback	$85.80
This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems... Read More >>

Handbook of Weighted Automata

Handbook of Weighted Automata
Author: Manfred Droste , Werner Kuich ISBN: 9783642014918 Format: Hardback	$419.76
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite... Read More >>

The Algebra of Logic

The Algebra of Logic
Author: Louis Couturat ISBN: 9781116928310 Format: Paperback	$52.14
An Unabridged Printing, To Include Updated Typeface Read More >>

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Logic, Rationality, and Interaction: Second International...
Author: Xiangdong He , John Horty ISBN: 9783642048920 Format: Paperback	$219.12
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the... Read More >>

Pearls of Discrete Mathematics

Pearls of Discrete Mathematics
Author: Martin Erickson (Truman State University, Kirksville, Missouri, USA) ISBN: 9781439816165 Format: Paperback	$131.00
Read More >>

""Das ist o. B. d. A. trivial!"": Tipps und Tricks zur Formulierung mathematischer Gedanken

""Das ist o. B. d. A. trivial!"": Tipps und Tricks zur...
Author: Albrecht Beutelspacher ISBN: 9783834807717 Format: Paperback	$65.97
Was Sie schon immer über die Kunst, mathematische Texte zu formulieren, wissen wollten, aber nie zu fragen wagten:... Read More >>

Logic, Methodology and Philosophy of Science: Proceedings of the Thirteenth International Congress

Logic, Methodology and Philosophy of Science: Proceedings...
Author: Clark Glymour , Professor Wei Wang ISBN: 9781904987451 Format: Paperback	$45.28
Read More >>

Design and Analysis of Vaccine Studies

Design and Analysis of Vaccine Studies
Author: Erwin Engeler , M Elizabeth Halloran ISBN: 9780387564227 Format: Undefined	$65.87
Read More >>

Algorithmic Decision Theory

Algorithmic Decision Theory
Author: Francesca Rossi , Alexis Tsoukias ISBN: 9783642044298 Format: Undefined	$65.87
<p>This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision... Read More >>

A Dictionary of Philosophical Logic

A Dictionary of Philosophical Logic
Author: Roy T. Cook ISBN: 9780748622436 Format: Paperback	$95.04
Introduces the undergraduate and post-graduate students in philosophy, mathematics, and computer science to the... Read More >>

Switching Finite Auto Theory 3ed

Switching Finite Auto Theory 3ed
Author: Zvi Kohavi (Technion - Israel Institute of Technology, Haifa) , Niraj K Jha (Princeton University, New Jersey) ISBN: 9786612395390 Format: Electronic book text	$528.00
Understand the structure, behaviour, and limitations of logic machines with this thoroughly updated third edition.... Read More >>

The Many Sides of Logic

The Many Sides of Logic
Author: Walter A. Carnielli , Marcelo E. Coniglio ISBN: 9781904987789 Format: Paperback	$43.99
Read More >>

Introduction to Mathematics of Satisfiability

Introduction to Mathematics of Satisfiability
Author: Victor W. Marek (University of Kentucky, Lexington, USA) ISBN: 9781439801673 Format: Hardback	$237.47
Focuses on the satisfiability of theories consisting of propositional logic formulas. This book deals with logic... Read More >>

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Computer Science Logic: 23rd International Workshop,...
Author: Erich Grädel , Reinhard Kahle ISBN: 9783642040269 Format: Paperback	$282.48
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra... Read More >>

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
Author: Zhiming Liu , Anders P Ravn ISBN: 9783642047626 Format: Undefined	$65.87
<p>This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification... Read More >>

Acts of Knowledge: History, Philosophy and Logic: Essays Dedicated to Goran Sundholm

Acts of Knowledge: History, Philosophy and Logic: Essays...
Author: Giuseppe Primiero , Shahid Rahman ISBN: 9781904987925 Format: Paperback	$38.79
Read More >>

Classification Theory for Abstract Elementary Classes

Classification Theory for Abstract Elementary Classes...
Author: Saharon Shelah ISBN: 9781904987727 Format: Paperback	$54.34
Read More >>

Frontiers of Combining Systems

Frontiers of Combining Systems
Author: Silvio Ghilardi , Roberto Sebastiani ISBN: 9783642042232 Format: Undefined	$65.87
<p>This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems,... Read More >>

Handbook of Weighted Automata

Handbook of Weighted Automata
Author: Manfred Droste , Werner Kuich ISBN: 9783642014932 Format: Undefined	$65.87
<p>Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights.... Read More >>

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction
Author: Xiangdong He , John F Horty ISBN: 9783642048944 Format: Undefined	$65.87
<p>Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes... Read More >>

Introduction to Mathematical Logic, Fifth Edition

Introduction to Mathematical Logic, Fifth Edition
Author: Elliott Mendelson (Queens College, Flushing, New York, USA) , Kenneth H. Rosen ISBN: 9781584888765 Format: Hardback	$237.47
Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order... Read More >>

The Foundations of Mathematics

The Foundations of Mathematics
Author: Kenneth Kunen ISBN: 9781904987147 Format: Paperback	$40.75
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now... Read More >>

Advanced Functional Programming

Advanced Functional Programming
Author: Pieter Koopman , Rinus Plasmeijer ISBN: 9783642046537 Format: Undefined	$65.87
<p>This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional... Read More >>

Higher Topos Theory

Higher Topos Theory
Author: Jacob Lurie ISBN: 9780691140490 Format: Paperback	$160.00
Read More >>

Higher Topos Theory

Higher Topos Theory
Author: Jacob Lurie ISBN: 9780691140483 Format: Hardback	$250.80
Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable:... Read More >>

Page 144 of 217 ... 139 140 141 142 143 144 145 146 147 148 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now