Logic Books, CDs, DVDs

Logic Books, CDs, DVDs

Back to Humanities and Science - Books,CDs,DVDs

Logical Foundations of Proof Complexity
Stephen Cook
AUD $168.00
Many-Valued Logics: Volume 1: Theoretical Foundations
Many-Valued Logics: Volume 1: Theoretical Foundations
Leonard Bolc;Piotr Borowik
AUD $248.60
Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
P Dembinski
AUD $94.60
Mathematical Logic
Mathematical Logic
Stephen Kleene
AUD $37.42
Mathematical Logic
Mathematical Logic
H D Ebbinghaus;J Ebbinghaus Heinz-DieterFlum
AUD $164.89
Mathematical Logic
Mathematical Logic
J Donald Monk
AUD $153.89
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987
Juichi Shinoda;Tosiyuki Slaman Theodore ATugue
AUD $101.20
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey
G T Kneebone
AUD $27.12
Mathematical Logic, Revised Edition
Mathematical Logic, Revised Edition
W V Quine
AUD $67.85
Mathematical Logic: A First Course
Mathematical Logic: A First Course
Joel W Robbin
AUD $20.92
Mathematical Reasoning with Diagrams
Mateja Jamnik
AUD $62.10
Mathematical Reasoning with Diagrams
Mateja Jamnik
AUD $149.50
Mathematics of Modality
Robert Goldblatt
AUD $149.50
Mathematics of Modality
Robert Goldblaff
AUD $69.00
Memoirs of a Proof Theorist: Godel and Other Logicians
Memoirs of a Proof Theorist: Godel and Other Logicians
Mariko Yasugi;Gaisi Passell NicholasTakeuti
AUD $100.80
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anne S Troelstra
AUD $129.80
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, Aug. 1-6, 1983
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic Held in Caracas, Venezuela, Aug. 1-6, 1983
Carlos A Di Prisco
AUD $129.80
Model Theory and Arithmetic: Comptes Rendus D'Une Action Thematique Programmee Du C.N.R.S. Sur La Theorie Des Modeles Et L'Arithmetique, Paris, Fra
Model Theory and Arithmetic: Comptes Rendus D'Une Action Thematique Programmee Du C.N.R.S. Sur La Theorie Des Modeles Et L'Arithmetique, Paris, Fra
C Berline;J -P McAloon KRessayre
AUD $101.20
Naive Set Theory
P R Halmos;Paul R Halmos
AUD $115.40
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (in 2 Volumes) - Volume 2
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (in 2 Volumes) - Volume 2
Leon O Chua
AUD $420.71
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (in 2 Volumes) - Volume 2
Leon O Chua
AUD $273.48
Nonstandard Analysis - Recent Developments
Nonstandard Analysis - Recent Developments
A E Hurd
AUD $101.20
Normalization, Cut-Elimination, and the Theory of Proofs
A M Ungar
AUD $57.50
Normalization, Cut-Elimination, and the Theory of Proofs
A M Ungar
AUD $115.40
Not Exactly: In Praise of Vagueness
Kees Van Deemter
AUD $65.89
Notes on Logic and Set Theory
Notes on Logic and Set Theory
P T Johnstone
AUD $83.58
Omega-Bibliography of Mathematical Logic I: Classical Logic
Wolfgang Rautenberg
AUD $577.50
Omega-Bibliography of Mathematical Logic III: Model Theory
Heinz-Dieter Ebbinghaus
AUD $450.00
Omega-Bibliography of Mathematical Logic IV: Recursion Theory
Peter G Hinman
AUD $522.00
Omega-Bibliography of Mathematical Logic V: Set Theory
Andreas R Blass
AUD $532.50
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics
Jane E Kister;Anne Dalen Dirk VanTroelstra
AUD $409.50
Omega-Bibliography of Mathematical Logic: Volumes 1-6
Gert H Ma1/4ller
AUD $3,055.50
On Formally Undecidable Propositions of Principia Mathematica and Related System
On Formally Undecidable Propositions of Principia Mathematica and Related System
Kurt Godel
AUD $10.43
Polish Logic 1920-1939
Polish Logic 1920-1939
Storrs McCall;Tadeusz Grushman BKotarbinski
AUD $322.00
Probabilistic Logic in a Coherent Setting
Probabilistic Logic in a Coherent Setting
Giulianella Coletti;R Coletti GScozzafava
AUD $153.89
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets
G H Mller;G H Richter M MMa1;4ller
AUD $129.80
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
M M Richter;W Brger EOberschelp
AUD $129.80
Proof Theory and Automated Deduction
Proof Theory and Automated Deduction
Jean Goubault-Larrecq;J MacKie IanGoubault-Larrecq
AUD $239.80
Proof Theory: The First Step Into Impredicativity
Proof Theory: The First Step Into Impredicativity
Wolfram Pohlers
AUD $125.90
Proofs and Fundamentals
Proofs and Fundamentals
Ethan D Bloch
AUD $120.89
Proper Forcing
Proper Forcing
S Shelah
AUD $59.40
Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei;D Goldrei
AUD $115.40
Recursion on the Countable Functionals
Recursion on the Countable Functionals
D Normann
AUD $57.20
Recursion Theory and Complexity: Proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997
M M Arslanov
AUD $366.39
Recursion Theory Week
Klaus Ambos-Spies;Gerald E Mller Gert HSacks
AUD $101.20
Recursion Theory Week: Proceedings of a Conference Held in Oberwolfach, West Germany, April 15-21, 1984
Heinz-Dieter Ebbinghaus;Gerald E Mller Gert HSacks
AUD $129.80
Recursive Analysis
R L Goodstein
AUD $17.92
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings
Pierre Lescanne
AUD $87.89
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
R B Jensen;A Prestel
AUD $57.20
Strukturtypen der Logik
Wolfgang Stegmuller
AUD $312.80


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