Logic Books, CDs, DVDs

Logic Books, CDs, DVDs

Back to Humanities and Science - Books,CDs,DVDs

Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Stephen G Simpson
AUD $178.50
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang;Richard C Lee
AUD $165.49
Symposium on Automatic Demonstration: Held at Versailles France, Decembre 1968
Symposium on Automatic Demonstration: Held at Versailles France, Decembre 1968
M Laudet;L Lacombe DNolin
AUD $101.20
Techniques of Admissible Recursion Theory
Techniques of Admissible Recursion Theory
C T Chong
AUD $96.60
Tha(c)Orie Des Ensembles
Tha(c)Orie Des Ensembles
N Bourbaki
AUD $239.80
The Axiom of Choice
The Axiom of Choice
Thomas J Jech
AUD $22.42
The Axiom of Choice
John L Bell
AUD $55.00
The Axiom of Constructibility: A Guide for the Mathematician
The Axiom of Constructibility: A Guide for the Mathematician
K J Devlin
AUD $57.20
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
W H Woodin
AUD $524.40
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
W Hugh Woodin
AUD $390.88
The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory of Relatives
The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory of Relatives
Calixto Badesa
AUD $147.20
The Combinatory Programme
The Combinatory Programme
E Engeler;Erwin Engeler
AUD $226.60
The Double Mellin-Barnes Type Integrals and Their Applications to Convolution Theory
Than Hai Nguyen;S B Yakubovich
AUD $123.90
The Elements of Mathematical Logic
The Elements of Mathematical Logic
Paul C Rosenbloom
AUD $20.72
The Enumerative Theory of Conics After Halphen
The Enumerative Theory of Conics After Halphen
Eduardo Casas-Alvero;Sebastian Xambo-Descamps
AUD $57.20
The Haskell Road to Logic, Maths and Programming
Kees Doets;Van Jan Eijck
AUD $55.00
The Knots Puzzle Book
Heather McLeay;H McLeay
AUD $16.92
The Lambda Calculus: Its Syntax and Semantics
The Lambda Calculus: Its Syntax and Semantics
H P Barendregt
AUD $285.20
The Logic of Logistics
The Logic of Logistics
Julien Bramel;David Simchi-Levi
AUD $146.94
The Logic of Logistics: Theory, Algorithms, and Applications for Logistics and Supply Chain Management
The Logic of Logistics: Theory, Algorithms, and Applications for Logistics and Supply Chain Management
David Simchi-Levi;Xin Bramel JulienChen
AUD $175.89
The Pattern of the Primes
The Pattern of the Primes
Guy Vine
AUD $55.74
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
David J Pym
AUD $380.60
The Theory of Sets of Points
The Theory of Sets of Points
William Henry Young
AUD $63.78
The Two-Valued Iterative Systems of Mathematical Logic
The Two-Valued Iterative Systems of Mathematical Logic
Emil Leon Post
AUD $80.50
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
Martin Davis
AUD $37.42
Theory of Mathematical Structures
Theory of Mathematical Structures
Jiri Adamek;Jira- Adamek JirmAdamek
AUD $385.00
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics
Fairouz Kamareddine;F D Kamareddine
AUD $303.60
Using Sophisticated Models in Resolution Theorem Proving
Using Sophisticated Models in Resolution Theorem Proving
David M Sandford
AUD $109.89
Varieties of Constructive Mathematics
Varieties of Constructive Mathematics
Douglas S Bridges;FredBridges;Richman Richman
AUD $94.60
Weaving Self-Evidence: A Sociology of Logic
Weaving Self-Evidence: A Sociology of Logic
Claude Rosental
AUD $47.40
Weaving Self-Evidence: A Sociology of Logic
Weaving Self-Evidence: A Sociology of Logic
Claude Rosental
AUD $195.50


Pages: 1 2 3 4 



Australian BookShop
Australian Bookshop. Established 2003
Search
Shopping Cart Customer Support


HolisticPage
International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide
.
Worldwide