Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

By Steven Vickers, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

By Steven Vickers, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$409 Elsewhere ~~HK$493.87~~ Save HK$84.87 (17%)

Analysis (With an Introduction to Proof)

By Steven R. Lay

Analysis (With an Introduction to Proof)

By Steven R. Lay

HK$1,231

1

Convex Sets and Their Applications (Dover Books on Mathematics)

By Lay, Steven R.

Convex Sets and Their Applications (Dover Books on Mathematics)

By Lay, Steven R.

HK$127

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

By Steven R. Givant, Paul R. Halmos

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

By Steven R. Givant, Paul R. Halmos

HK$540

1

The Proof is in the Pudding (The Changing Nature of Mathematical Proof)

By Krantz, Steven G.

The Proof is in the Pudding (The Changing Nature of Mathematical Proof)

By Krantz, Steven G.

HK$347 Elsewhere ~~HK$411.54~~ Save HK$64.54 (16%)

Lectures on Boolean Algebras (Undergraduate Texts in Mathematics)

By Steven R. Givant, P. R. Halmos

Lectures on Boolean Algebras (Undergraduate Texts in Mathematics)

By Steven R. Givant, P. R. Halmos

HK$600

Critique of Impure Reason (Horizons of Possibility and Meaning)

By Bartlett, Steven James

Critique of Impure Reason (Horizons of Possibility and Meaning)

By Bartlett, Steven James

HK$320 Elsewhere ~~HK$334.46~~ Save HK$14.46 (4%)

Analysis with an Introduction to Proof

By Lay, Steven R.

Analysis with an Introduction to Proof

By Lay, Steven R.

HK$2,500

1

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

HK$500

Operads in Algebra, Topology and Physics (Mathematical Surveys and Monographs)

By Martin Markl, Steven Shnider

Operads in Algebra, Topology and Physics (Mathematical Surveys and Monographs)

By Martin Markl, Steven Shnider

HK$990 Elsewhere ~~HK$1,224.65~~ Save HK$234.65 (19%)

Essential Stability Theory (Perspectives in Logic)

By Steven M. Buechler

Essential Stability Theory (Perspectives in Logic)

By Steven M. Buechler

HK$940 Elsewhere ~~HK$1,327.46~~ Save HK$387.46 (29%)

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

By Steven R. Givant, Paul Halmos

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

By Steven R. Givant, Paul Halmos

HK$578

Lattices and Ordered Sets

By Steven Roman

Lattices and Ordered Sets

By Steven Roman

HK$600

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

Handbook of Logic and Proof Techniques for Computer Science

By Krantz, Steven G.

HK$500

The Elements of Advanced Mathematics (Textbooks in Mathematics)

By Krantz, Steven G. (Washington University, St. Louis, Missouri, U

The Elements of Advanced Mathematics (Textbooks in Mathematics)

By Krantz, Steven G. (Washington University, St. Louis, Missouri, U

HK$800 Elsewhere ~~HK$874.65~~ Save HK$74.65 (9%)

The Elements of Advanced Mathematics (Textbooks in Mathematics)

By Steven G. Krantz

The Elements of Advanced Mathematics (Textbooks in Mathematics)

By Steven G. Krantz

HK$500 Elsewhere ~~HK$586.49~~ Save HK$86.49 (15%)

Transition to Analysis with Proof (Textbooks in Mathematics)

By Krantz, Steven G. (Washington University, St. Louis, Missouri, U

Transition to Analysis with Proof (Textbooks in Mathematics)

By Krantz, Steven G. (Washington University, St. Louis, Missouri, U

HK$700 Elsewhere ~~HK$843.77~~ Save HK$143.77 (17%)

Transition to Analysis with Proof (Textbooks in Mathematics)

By Steven Krantz

Transition to Analysis with Proof (Textbooks in Mathematics)

By Steven Krantz

HK$1,494 Elsewhere ~~HK$1,698.04~~ Save HK$204.04 (12%)

The Elements of Advanced Mathematics (Textbooks in Mathematics)

By Krantz, Steven G.

The Elements of Advanced Mathematics (Textbooks in Mathematics)

By Krantz, Steven G.

HK$1,300

Formal Methods in Computer-Aided Design (Third International Conference, Fmcad 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Warren A. Jr. Hunt, Steven D. Johnson

Formal Methods in Computer-Aided Design (Third International Conference, Fmcad 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Warren A. Jr. Hunt, Steven D. Johnson

HK$978

All About Maude - A High-Performance Logical Framework (How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Clavel, Manuel, Durán, Francisco, Steven Eker, Patrick Lincoln

All About Maude - A High-Performance Logical Framework (How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Clavel, Manuel, Durán, Francisco, Steven Eker, Patrick Lincoln

HK$890

Duality Theories for Boolean Algebras with Operators (Springer Monographs in Mathematics)

By Steven R. Givant

Duality Theories for Boolean Algebras with Operators (Springer Monographs in Mathematics)

By Steven R. Givant

HK$500

Duality Theories for Boolean Algebras with Operators (Springer Monographs in Mathematics)

By Givant, Steven

Duality Theories for Boolean Algebras with Operators (Springer Monographs in Mathematics)

By Givant, Steven

HK$500

Scalable Uncertainty Management (10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings (Lecture Notes in Artificial Intelligence))

By Steven Schockaert, Pierre Senellart

Scalable Uncertainty Management (10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings (Lecture Notes in Artificial Intelligence))

By Steven Schockaert, Pierre Senellart

HK$800

View:
Safe Search(?):