Basket: 0 items £0.00
Submit an Enquiry or Call Us +44 (0) 1482 384660
10 results matched your search
  • Page 1 of 1
  • Add to basket
  • More Options
Book icon
Image for Proof Analysis : A Contribution to Hilbert's Last Problem

Proof Analysis : A Contribution to Hilbert's Last Problem

Author: Negri, Professor Sara Publisher: Cambridge University Press Format: Paperback / softback
Published: 12/06/2014 ISBN/EAN: 9781107417236 Dewey: 511.36
stars icon

Usually dispatched within 4 weeks

£26.39
RRP £32.99
Save 20%
Book icon
Image for The great formal machinery works  : theories of deduction and computation at the origins of the digital age

The great formal machinery works : theories of deduction and computation at the origins of the digital age

Author: Plato, Jan von Publisher: Princeton University Press Format: Hardback
Published: 02/08/2017 ISBN/EAN: 9780691174174 Dewey: 004.09
stars icon

2 in Stock Need More ?

£22.35
RRP £30.00
Save 25.5%
Book icon
Image for Structural proof theory

Structural proof theory

Author: Negri, Professor Sara Publisher: Cambridge University Press Format: Paperback
Published: 10/07/2008 ISBN/EAN: 9780521068420 Dewey: 511.3
stars icon

Usually dispatched within 4 weeks

£26.39
RRP £32.99
Save 20%
Book icon
Image for Structural proof theory

Structural proof theory

Author: Negri, Professor Sara Publisher: Cambridge University Press Format: Hardback
Published: 18/06/2001 ISBN/EAN: 9780521793070 Dewey: 511.3
stars icon

Usually dispatched within 4 weeks

£58.39
RRP £72.99
Save 20%
Book icon
Image for Proof analysis  : a contribution to Hilbert's last problem

Proof analysis : a contribution to Hilbert's last problem

Author: Negri, Professor Sara Publisher: Cambridge University Press Format: Laminated
Published: 29/09/2011 ISBN/EAN: 9781107008953 Dewey: 511.3'6
stars icon

Stock expected by 16/04/2020

£53.60
RRP £67.00
Save 20%
Book icon
Image for Saved from the cellar  : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Author: Plato, Jan von Publisher: Springer International Publishing AG Format: Laminated
Published: 07/04/2017 ISBN/EAN: 9783319421193 Dewey: 511
stars icon

Stock expected by 15/04/2020

£81.94
RRP £109.99
Save 25.5%
Book icon
Image for Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

Author: Plato, Jan von Publisher: Springer Format: Paperback
Published: 05/04/2017 ISBN/EAN: 9783319421216
stars icon

Usually dispatched within 4 weeks

£24.99
Save up to 15%*
Book icon
Image for Proof analysis: a contribution to Hilbert's last problem

Proof analysis: a contribution to Hilbert's last problem

Author: Negri, Sara Publisher: Cambridge University Press Format: Ebook
Published: 29/09/2011 ISBN/EAN: 9781107222069 Dewey: 511.36
stars icon

Available

£108.00

Book icon
Image for Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Author: Plato, Jan von Publisher: Princeton University Press Format: Ebook
Published: 08/08/2017 ISBN/EAN: 9781400885039 Dewey: 510.9
stars icon

Available

£66.00

Book icon
Image for Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Author: Plato, Jan von Publisher: Springer Format: Ebook
Published: 31/03/2017 ISBN/EAN: 9783319421209 Dewey: 510.92
stars icon

Available

£74.50

Add to basket
Display    items per page
  • Page 1 of 1

*Variable discounts between 0% and 15% are applied to items where BBfS cannot determine exact discounts from suppliers