Browse results

Showing 1-10 of 1311 titles

1 Alan Turing's Systems of Logic: The Princeton Thesis (Hardback)

by Andrew W. Appel

Format: Hardback 160 pages
Published: 27/05/2012

Available to order

Usually despatched in 3-5 days

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


2 Finite Ordered Sets: Concepts, Results and Uses - Encyclopedia of Mathematics and Its Applications 144 (Hardback)

by Nathalie Caspard, Bruno Leclerc, Bernard Monjardet

Format: Hardback 350 pages
Published: 26/01/2012

Available to order

Availability uncertain

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


3 Lambda-Calculus and Combinators: An Introduction (Hardback)

by Jonathan P. Seldin, J. Roger Hindley

Format: Hardback 358 pages
Published: 24/07/2008

Available to order

Usually despatched in 3-5 days

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


4 Handbook of Defeasible Reasoning and Uncertainty Management Systems: Belief Change v. 3 - Handbook of Defeasible Reasoning & Uncertainty Management Systems v. 3 (Hardback)

by Philippe Smets, Dov M. Gabbay

Format: Hardback 461 pages
Published: 21/10/1998

Available to order

Usually despatched in 2-3 weeks

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


5 Pluralism in Mathematics: A New Position in Philosophy of Mathematics - Logic, Epistemology, and the Unity of Science 32 (Hardback)

by Michele Friend

Format: Hardback 250 pages
Published: 30/10/2013

161 days until publication

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


6 Introduction to the Galois Correspondence (Hardback)

by Maureen H. Fenrick

Format: Hardback 255 pages
Published: 18/12/1998

Available to order

Usually despatched in 2-3 weeks

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


7 Concise Introduction to Pure Mathematics (Hardback)

by Martin Liebeck

Format: Hardback 224 pages
Published: 02/11/2005

Unavailable

Overall rating

Bookseller (1)

5 out of 5

Customer (not yet rated)


8 Dynamical Systems and Semisimple Groups: An Introduction - Cambridge Tracts in Mathematics No.126 (Hardback)

by Renato Feres, B. Bollobas, W. Fulton, A. Katok, F. Kirwan, P. Sarnak, B. Simon

Format: Hardback 264 pages
Published: 13/06/1998

Available to order

Usually despatched in 2-3 weeks

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


9 Adapting Proofs-as-Programs: The Curry - Howard Protocol - Monographs in Computer Science (Hardback)

by Martin Wirsing, Iman Hafiz Poernomo, J.N. Crossley

Format: Hardback 436 pages
Published: 29/07/2005

Available to order

Usually despatched in 7-10 days

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)


10 Box Splines - Applied Mathematical Sciences v. 98 (Hardback)

by Carl DeBoor, etc.

Format: Hardback 217 pages
Published: 01/11/1993

Available to order

Usually despatched in 2-3 weeks

Overall rating

Bookseller (not yet rated)

Customer (not yet rated)