home the nonprofit bookstore
Shopping Cart Your Shopping Cart

Your Account

The Nonprofit Bookstore Supporting EducationOur mission...

Left endsubjectsReaderPublishersabout usRight end

Book, Logicism, Intuitionism, and Formalism cover

Logicism, Intuitionism, and Formalism / What Has Become of Them?
Lindstrom, Sten (EDT) et al
Hardcover - $296.10
More Information

Add to Cart

Book, Logics in Artificial Intelligence cover

Logics in Artificial Intelligence / 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Holldobler, Steffen (EDT) et al
Paperback - $71.95
More Information

Add to Cart

Book, Markov Logic cover

Markov Logic / An Interface Layer for Artificial Intelligence
Domingos, Pedro et al
Paperback - $36.00
More Information

Add to Cart

Book, Mathematical Control Theory cover

Mathematical Control Theory / An Introduction
Zabczyk, Jerzy
Paperback - $35.95
More Information

Add to Cart

Book, Mathematical Logic cover

Mathematical Logic
Tourlakis, George
Hardcover - $89.95
More Information

Add to Cart

Book, Mathematics of Program Construction cover

Mathematics of Program Construction / 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Audebaud, Philippe (EDT) et al
Paperback - $71.95
More Information

Add to Cart

Book, Mathematics, Models, and Modality cover

Mathematics, Models, and Modality / Selected Philosophical Essays
Burgess, John P.
Hardcover - $84.60
More Information

Add to Cart

Book, Modal Logic cover

Modal Logic / An Introduction to Its Syntax and Semantics
Cocchiarella, Nino B. et al
Paperback - $45.00
More Information

Add to Cart

Book, Model Theory cover

Model Theory
Hodges, Wilfrid
Paperback - $99.99
More Information

Add to Cart

Book, Numerical Term Logic cover

Numerical Term Logic
Szabolcsi, Lorne et al
Hardcover - $99.95
More Information

Add to Cart

Book, Proof Theory cover

Proof Theory / The First Step into Impredicativity
Pohlers, Wolfram
Paperback - $53.95
More Information

Add to Cart

Book, Realizability cover

Realizability / An Introduction to Its Categorical Side
Van Oosten, Jaap
Hardcover - $139.50
More Information

Add to Cart

Book, Scalable Uncertainty Management cover

Scalable Uncertainty Management / Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings
Greco, Sergio (EDT) et al
Paperback - $80.95
More Information

Add to Cart

Book, Sets, Logic and Maths for Computing cover

Sets, Logic and Maths for Computing
Makinson, David
Paperback - $35.95
More Information

Add to Cart

Book, The Annotated Turing cover

The Annotated Turing / A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Petzold, Charles
Paperback - $20.69
More Information

Add to Cart

The Development of Modern Logic
Haaparanta, Leila (EDT)
Hardcover - $150.00
More Information

Add to Cart

The Higher Infinite / Large Cardinals in Set Theory from Their Beginnings
Kanamori, Akihiro
Paperback - $62.95
More Information

Add to Cart

Book, The Unprovability of Consistency cover

The Unprovability of Consistency / An Essay in Modal Logic
Boolos, George
Paperback - $29.99
More Information

Add to Cart

Book, Verified Software cover

Verified Software / Theories, Tools, Experiments : Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008, Proceedings
Shankar, Natarajan (EDT) et al
Paperback - $62.95
More Information

Add to Cart

Advances in Modal Logic
Governatori, G (EDT) et al
Paperback - $30.00
More Information

Add to Cart

Book, An Introduction to Godel's Theorems cover

An Introduction to Godel's Theorems
Smith, Peter
Paperback - $32.99
More Information

Add to Cart

An Introduction to Many-Valued and Fuzzy Logic / Semantics, Algebras, and Derivation Systems
Bergmann, Merrie
Paperback - $38.99
More Information

Add to Cart

Book, An Introduction to Many-Valued and Fuzzy Logic cover

An Introduction to Many-Valued and Fuzzy Logic / Semantics, Algebras, and Derivation Systems
Bergmann, Merrie
Hardcover - $81.90
More Information

Add to Cart

Book, Completeness Theory for Propositional Logics cover

Completeness Theory for Propositional Logics
Pororzelski, Witold A. et al
Paperback - $62.95
More Information

Add to Cart

Book, Handbook of the History of Logic cover

Handbook of the History of Logic / The Many Valued and Non-monotonic Turn in Logic
Gabbay, Dov M. (EDT) et al
Hardcover - $216.00
More Information

Add to Cart

Book, Logica Universalis cover

Logica Universalis / Towards a General Theory of Logic
Beziau, Jean-Yves (EDT)
Paperback - $71.95
More Information

Add to Cart

Book, The Foundations of Mathematics cover

The Foundations of Mathematics
Sibley, Thomas Q.
Hardcover - $163.26
More Information

Add to Cart

Book, Classical Mathematical Logic cover

Classical Mathematical Logic / The Semantic Foundations of Logic
Epstein, Richard L. et al
Hardcover - $94.00
More Information

Add to Cart

Book, How to Pass Numerical Reasoning Tests cover

How to Pass Numerical Reasoning Tests / A Step-by-step Guide to Learning Key Numeracy Skills: Intermediate Level
Smith, Heidi
Paperback - $12.39
More Information

Add to Cart

Book, Logic Colloquium '01 cover

Logic Colloquium '01 / Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias et al
Paperback - $36.00
More Information

Add to Cart

Book, Logic for Dummies cover

Logic for Dummies
Zegarelli, Mark
Paperback - $13.79
More Information

Add to Cart

Book, The Art And Craft of Problem Solving cover

The Art And Craft of Problem Solving
Zeitz, Paul
Paperback - $67.45
More Information

Add to Cart

Book, The Structure of Nonstandard Models of Arithmetic cover

The Structure of Nonstandard Models of Arithmetic
Kossak, Roman et al
Hardcover - $130.00
More Information

Add to Cart

Book, Computation Engineering cover

Computation Engineering / Applied Automata Theory And Logic
Gopalakrishnan, Ganesh C.
Hardcover - $98.10
More Information

Add to Cart

Book, The Classical Decision Problem cover

The Classical Decision Problem
Borger, Egon et al
Paperback - $89.10
More Information

Add to Cart

Vicious Circles / On the Mathematics of Non-Wellfounded Phenomena
Barwise, Jon et al
Hardcover - $69.95
More Information

Add to Cart

Book, Abel's Proof cover

Abel's Proof / An Essay on the Sources and Meaning of Mathematical Unsolvability
Pesic, Peter
Paperback - $11.70
More Information

Add to Cart

Book, Fundamentals of Mathematical Logic cover

Fundamentals of Mathematical Logic
Hinman, Peter G.
Hardcover - $89.10
More Information

Add to Cart

Book, Handbook of the History of Logic cover

Handbook of the History of Logic / Greek, Indian and Arabian Logic
Gabbay, Dov M. (EDT) et al
Hardcover - $184.50
More Information

Add to Cart

Book, How to Prove It cover

How to Prove It / A Structured Approach
Velleman, Daniel J.
Paperback - $26.99
More Information

Add to Cart



neologs
bullspin:  down
arrow



quotes
No entertainment is so cheap as ...  down
arrow



definitions
brimborion:  down
arrow