0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
HKD
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Reference & Language
Movies
Music
All Products
\n
Books
Reference & Language
Movies
Music
Reference & La...
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
HKD
Search
All Products
Books
Reference & Language
Questions & Answers
Filters
Sold By
Sold By
All Sellers
Fishpond
(19)
Age Range
Age Range
All Ranges
All Ages
(1)
Country
Country
All Countries
United States
(7)
Germany
(6)
United Kingdom
(4)
Netherlands
(2)
Results for "Mathematical Logic"
Mathematical Logic
26 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(19)
Age Range
Age Range
All Ranges
All Ages
(1)
Country
Country
All Countries
United States
(7)
Germany
(6)
United Kingdom
(4)
Netherlands
(2)
Related Searches:
avigad mathematical logic
mathematical logic by shoenfield
26 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
The Outer Limits of Reason (What Science, Mathematics, and Logic Cannot Tell Us (The Outer Limits of Reason))
By
Yanofsky, Noson S.
The Outer Limits of Reason (What Science, Mathematics, and Logic Cannot Tell Us (The Outer Limits of Reason))
By
Yanofsky, Noson S.
HK$186
Elsewhere
HK$257.47
Save HK$71.47 (28%)
1,009
Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
By
Rene
,
Daniel
,
Donald Pelletier
Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
By
Rene
,
Daniel
,
Donald Pelletier
HK$639
Elsewhere
HK$741.52
Save HK$102.52 (14%)
Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
By
Rene Cori
,
Daniel Lascar
,
Donald Pelletier
Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
By
Rene Cori
,
Daniel Lascar
,
Donald Pelletier
HK$1,196
Elsewhere
HK$1,802.31
Save HK$606.31 (34%)
The Outer Limits of Reason (What Science, Mathematics, and Logic Cannot Tell Us (The Outer Limits of Reason))
By
Yanofsky, Noson S.
The Outer Limits of Reason (What Science, Mathematics, and Logic Cannot Tell Us (The Outer Limits of Reason))
By
Yanofsky, Noson S.
HK$875
1,006
Logic and Data Bases
By
Gallaire, Hervé
,
Minker, Jack
Logic and Data Bases
By
Gallaire, Hervé
,
Minker, Jack
HK$577
Brains, Machines, and Mathematics
By
Arbib, Michael A.
Brains, Machines, and Mathematics
By
Arbib, Michael A.
HK$900
Lectures in Pattern Theory (Volume 2: Pattern Analysis (Applied Mathematical Sciences))
By
Grenander, Ulf
Lectures in Pattern Theory (Volume 2: Pattern Analysis (Applied Mathematical Sciences))
By
Grenander, Ulf
HK$1,151
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 (Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Le)
By
Hartmut Ehrig
,
Christiane Floyd
,
Maurice Nivat
,
James Thatcher
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 (Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Le)
By
Hartmut Ehrig
,
Christiane Floyd
,
Maurice Nivat
,
James Thatcher
HK$560
Categories for the Working Philosopher
By
Elaine Landry
Categories for the Working Philosopher
By
Elaine Landry
HK$1,160
9
Categories for the Working Philosopher
By
Elaine Landry
Categories for the Working Philosopher
By
Elaine Landry
HK$420
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
By
Mauldin, M.
,
Brookes, S. D.
,
M. Donner
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
By
Mauldin, M.
,
Brookes, S. D.
,
M. Donner
HK$492
Semiotics 1980
By
Herzfeld, Michael
,
Lenhart, Margot D.
Semiotics 1980
By
Herzfeld, Michael
,
Lenhart, Margot D.
HK$577
Information and Inference (Synthese Library)
By
Jaakko Hintikka
,
Patrick Suppes
Information and Inference (Synthese Library)
By
Jaakko Hintikka
,
Patrick Suppes
HK$1,476
Computer Program Synthesis Methodologies (Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981 (NATO Science Series C))
By
Alan W. Biermann
,
Gerard Guiho
Computer Program Synthesis Methodologies (Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981 (NATO Science Series C))
By
Alan W. Biermann
,
Gerard Guiho
HK$1,780
Elsewhere
HK$1,853.70
Save HK$73.70 (4%)
Fundamentals of Algebraic Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
By
Ehrig, Hartmut
,
Mahr, Bernd
Fundamentals of Algebraic Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
By
Ehrig, Hartmut
,
Mahr, Bernd
HK$583
Information Systems and Data Analysis (Prospects, Foundations, Applications - Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern, March 3-5, 1993 (Studies in Classification, Data Analysis, a)
By
Hans-Hermann Bock
,
Wolfgang Lenski
,
Michael M. Richter
,
M.M. Richter
Information Systems and Data Analysis (Prospects, Foundations, Applications - Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern, March 3-5, 1993 (Studies in Classification, Data Analysis, a)
By
Hans-Hermann Bock
,
Wolfgang Lenski
,
Michael M. Richter
,
M.M. Richter
HK$985
Data Analysis and Information Systems (Statistical and Conceptual Approaches Proceedings of the 19th Annual Conference of the Gesellschaft fur Klassifikation e.V. University of Basel, March 8-10, 1995 (Studies in Classification, Data Analysis, and Knowled)
By
Hans-Hermann Bock
,
Wolfgang Polasek
Data Analysis and Information Systems (Statistical and Conceptual Approaches Proceedings of the 19th Annual Conference of the Gesellschaft fur Klassifikation e.V. University of Basel, March 8-10, 1995 (Studies in Classification, Data Analysis, and Knowled)
By
Hans-Hermann Bock
,
Wolfgang Polasek
HK$1,000
Fundamentals of Algebraic Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
By
Mahr, Bernd
,
Ehrig, Hartmut
Fundamentals of Algebraic Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
By
Mahr, Bernd
,
Ehrig, Hartmut
HK$556
Adaptive Information Processing (An Introductory Survey (Monographs in Computer Science))
By
Sampson, Jeffrey R.
Adaptive Information Processing (An Introductory Survey (Monographs in Computer Science))
By
Sampson, Jeffrey R.
HK$900
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics)
By
Zohar Manna
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics)
By
Zohar Manna
Currently
Unavailable
Equational Logic as a Programming Language
By
Michael J. O'Donnell
Equational Logic as a Programming Language
By
Michael J. O'Donnell
Currently
Unavailable
Information and Inference (Synthese Library)
By
Jaakko Hintikka
,
Patrick Suppes
Information and Inference (Synthese Library)
By
Jaakko Hintikka
,
Patrick Suppes
Currently
Unavailable
Pattern Classification and Scene Analysis
By
Richard O. Duda
,
Peter E. Hart
Pattern Classification and Scene Analysis
By
Richard O. Duda
,
Peter E. Hart
Currently
Unavailable
Semiotics 1980
By
Michael Herzfeld
,
Margot D Lenhart
Semiotics 1980
By
Michael Herzfeld
,
Margot D Lenhart
Currently
Unavailable
1
2
Next Page
1
2
Next Page