Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by J. Roger Hindley
ISBN 13: 9780521465182
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 31 Jul 1997
Save for later
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335
by Mark van Atten
ISBN 13: 9781402050862
Format: Hardcover (206 pages) Publisher: Springer Published: 09 Nov 2006
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009
There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by Francesco Berto
ISBN 13: 9781405197670
Format: Paperback (254 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009 Other Format: Illustrated
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities (MAA Problem Books)
by J. Michael Steele
ISBN 13: 9780521546775
Format: Illustrated (316 pages) Publisher: Cambridge University Press Published: 15 Jul 2004
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
The Logical Status of Diagrams
by Sun-Joo Shin
ISBN 13: 9780521461573
Format: Hardcover (212 pages) Publisher: Cambridge University Press Published: 27 Jan 1995
Random Trees: An Interplay between Combinatorics and Probability
by Michael Drmota
ISBN 13: 9783211753552
Format: Hardcover (457 pages) Publisher: Springer Published: 22 Dec 2008
Platonism and Anti-Platonism in Mathematics
by Mark Balaguer
ISBN 13: 9780195143980
Format: Paperback (240 pages) Publisher: Oxford University Press USA Published: 09 Aug 2001
Likelihood
by A. W. F. Edwards
ISBN 13: 9780801844430
Format: Paperback (296 pages) Publisher: The Johns Hopkins University Press Published: 01 Oct 1992
Symmetries and Laplacians: Introduction to Harmonic Analysis, Group Representations and Applications
by David Gurarie
ISBN 13: 9780486462882
Format: Paperback (464 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009