Logic Books, CDs, DVDs

Logic Books, CDs, DVDs

Back to Humanities and Science - Books,CDs,DVDs

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
W Bibel;R Kowalski
AUD $142.89
7th International Conference on Automated Deduction: Proceedings
7th International Conference on Automated Deduction: Proceedings
R E Shostak;Robert Shostak
AUD $202.40
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Ewing Lusk;Ross Overbeek
AUD $228.80
A Course in Mathematical Logic
A Course in Mathematical Logic
Iu I Manin;Neal Manin Yu IKoblitz
AUD $164.89
A Course on Mathematical Logic
A Course on Mathematical Logic
Shashi Mohan Srivastava
AUD $104.90
A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science: Volume 2
A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science: Volume 2
Leon O Chua
AUD $626.00
A Precis of Mathematical Logic
A Precis of Mathematical Logic
J M Bochenski;Otto Bird
AUD $319.00
A Profile of Mathematical Logic
A Profile of Mathematical Logic
Howard DeLong
AUD $29.92
A Short Introduction to Intuitionistic Logic
A Short Introduction to Intuitionistic Logic
Grigori Mints;G E Mints
AUD $228.80
Algebraic Logic
Algebraic Logic
S G Gindikin
AUD $191.29
Algebraic Structures in Automata and Databases Theory
B I Plotkin
AUD $144.90
An Accompaniment to Higher Mathematics
An Accompaniment to Higher Mathematics
George Exner
AUD $120.89
Around Classification Theory of Models
Around Classification Theory of Models
Saharon Shelah
AUD $96.60
Automata Networks: Litp Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
Automata Networks: Litp Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
C Choffrut
AUD $127.49
Automata on Infinite Words: Ecole de Printemps D'Informatique Theorique, Le Mont Dore, May 14-18, 1984
Automata on Infinite Words: Ecole de Printemps D'Informatique Theorique, Le Mont Dore, May 14-18, 1984
M Nivat;D Perrin
AUD $109.89
Automata Theory
Matthew Simon
AUD $174.80
Axiomatic Set Theory
Axiomatic Set Theory
Patrick Suppes
AUD $19.42
Basic Concepts of Mathematics and Logic
Basic Concepts of Mathematics and Logic
Michael C Gemignani
AUD $23.92
Brainmatics: More Logic Puzzles
Brainmatics: More Logic Puzzles
H F Ullmann
AUD $22.49
Cambridge Summer School in Mathematical Logic: Held in Cambridge U. K., August 1-21, 1971
A R D Mathias;H Rogers
AUD $129.80
Categorical Closure Operators
Gabriele Castellini;G Castellini
AUD $197.89
Categories for the Working Mathematician
Categories for the Working Mathematician
Saunders MacLane;P R Gehring F WHalmos
AUD $153.89
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions
Eric Schechter
AUD $202.40
Classical Mathematical Logic: The Semantic Foundations of Logic
Classical Mathematical Logic: The Semantic Foundations of Logic
Richard L Epstein;Leslaw W Szczerba
AUD $216.20
Classification Theory
Classification Theory
John T Baldwin
AUD $129.80
Comp Anal One Dimen Cellular Auto
Burton H Voorhees;Voorhees
AUD $118.00
Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
Piotr Wojtylak;Witold A Pogorzelski
AUD $146.90
Complexity: Knots, Colourings and Counting
Complexity: Knots, Colourings and Counting
D J A Welsh
AUD $99.00
Computability and Models: Perspectives East and West
S Barry Cooper;Sergei S Cooper S BarryGoncharov
AUD $375.90
Computability and Unsolvability
Computability and Unsolvability
Martin Davis;Langdon Davis
AUD $23.92
Computational Prospects of Infinity - Part I: Tutorials
Computational Prospects of Infinity - Part I: Tutorials
Chitat Chong;Qi FengTheodore a Slaman
AUD $202.00
Computational Prospects of Infinity - Part II: Presented Talks
Chitat Chong;Qi FengTheodore a Slaman
AUD $250.16
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Stephane Kaplan;Jean-Pierre Jouannaud
AUD $120.89
Confluent String Rewriting
Confluent String Rewriting
Matthias Jantzen
AUD $175.89
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
F Richman
AUD $101.20
Constructive Models
Constructive Models
Iurii Leonidovich Ershov;Sergei S Ershov Yuri LGoncharov
AUD $723.80
Constructivism in Math
Constructivism in Math
D Van Dalen;Anne STroelstra Troelstra
AUD $115.00
Context-Free Grammars: Covers, Normal Forms, and Parsing
Context-Free Grammars: Covers, Normal Forms, and Parsing
A Nijholt
AUD $116.49
Course in Model Theory: An Introduction in Contemporary Mathematical Logic
Bruno Poizat;M Klein MosesKlein
AUD $164.89
Cylindric Set Algebras
Cylindric Set Algebras
L Henkin;A Monk J DTarski
AUD $101.20
Decidable Theories: Vol. 1: Ba1 4chis Monadic Second Order Successor Arithmetic
Decidable Theories: Vol. 1: Ba1 4chis Monadic Second Order Successor Arithmetic
Dirk Siefkes;Gert H Mller Gert HMa1;4ller
AUD $57.20
Definability and Computability
Definability and Computability
Iurii Leonidovich Ershov;Yuri L Ershov
AUD $459.80
Definition
Definition
Richard Robinson
AUD $195.50
Delta: A Paradox Logic
Delta: A Paradox Logic
N S K Hellerstein
AUD $102.00
Diamond: A Paradox Logic
Nathaniel Hellerstein;N S K Hellerstein
AUD $98.70
Dynamic Fuzzy Logic and Its Applications
Fanzhang Li
AUD $283.80
Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo
Oliver Deiser
AUD $83.90
Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo
Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo
Oliver Deiser
AUD $87.89
Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
Yiannis N Moschovakis
AUD $22.42
Elements of Automata Theory
Jacques Sakarovitch
AUD $304.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