OXFORD UNIVERSITY PRESS

General principles of mathematics

After Godel: Platonism and Rationalism in Mathematics and Logic

ISBN : 9780199606207

Price(incl.tax): 
¥12,056
Author: 
Richard L. Tieszen
Pages
258 Pages
Format
Hardcover
Size
162 x 240 mm
Pub date
May 2011
Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

After Godel: Platonism and Rationalism in Mathematics and Logic

ISBN : 9780199680610

Price(incl.tax): 
¥5,654
Author: 
Richard L. Tieszen
Pages
272 Pages
Format
Paperback
Size
156 x 235 mm
Pub date
May 2013
Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

ISBN : 9780192895936

Price(incl.tax): 
¥14,608
Author: 
Paolo Mancosu; Sergio Galvan; Richard Zach
Pages
432 Pages
Format
Hardcover
Size
156 x 234 mm
Pub date
Aug 2021
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also ser ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

ISBN : 9780192895943

Price(incl.tax): 
¥4,565
Author: 
Paolo Mancosu; Sergio Galvan; Richard Zach
Pages
432 Pages
Format
Paperback
Size
156 x 234 mm
Pub date
Aug 2021
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also ser ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

Combinatorial Physics: Combinatorics, Quantum Field Theory, and Quantum Gravity Models

ISBN : 9780192895493

Price(incl.tax): 
¥14,608
Author: 
Adrian Tanasa
Pages
400 Pages
Format
Hardcover
Size
171 x 246 mm
Pub date
Apr 2021
The interplay between combinatorics and theoretical physics is a recent trend which appears to us as particularly natural, since the unfolding of new ideas in physics is often tied to the development ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

Combinatorics: A Very Short Introduction

ISBN : 9780198723493

Price(incl.tax): 
¥1,628
Author: 
Robin Wilson
Pages
176 Pages
Format
Paperback
Size
111 x 174 mm
Pub date
Apr 2016
Series
Very Short Introductions
Introduces Combinatorics through a problem-solving approach Covers the core aspects of the subject such as permutations, combinations, and latin squares Explores a variety of classic and modern ... Read more

Purchase online now

Purchase online now

See details

Combinatorics: Ancient & Modern

ISBN : 9780199656592

Price(incl.tax): 
¥14,795
Author: 
Robin J. Wilson; John J. Watkins; Ronald Graham
Pages
392 Pages
Format
Hardcover
Size
174 x 240 mm
Pub date
Jun 2013
Who first presented Pascal's triangle? (It was not Pascal.) Who first presented Hamiltonian graphs? (It was not Hamilton.) Who first presented Steiner triple systems? (It was not Steiner.) The history ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

Combinatorics: Ancient & Modern

ISBN : 9780198739050

Price(incl.tax): 
¥7,854
Author: 
Robin Wilson; John J. Watkins
Pages
400 Pages
Format
Paperback
Size
160 x 234 mm
Pub date
Feb 2015
Who first presented Pascal's triangle? (It was not Pascal.) Who first presented Hamiltonian graphs? (It was not Hamilton.) Who first presented Steiner triple systems? (It was not Steiner.) The history ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

Computability and Randomness

ISBN : 9780199652600

Price(incl.tax): 
¥7,579
Author: 
Andre Nies
Pages
456 Pages
Format
Paperback
Size
155 x 234 mm
Pub date
Mar 2012
Series
Oxford Logic Guides
The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details

Defending the Axioms: On the Philosophical Foundations of Set Theory

ISBN : 9780199671489

Price(incl.tax): 
¥5,115
Author: 
Penelope Maddy
Pages
162 Pages
Format
Paperback
Size
141 x 216 mm
Pub date
Mar 2013
Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these a ... Read more

This item is available through your usual bookshop or bookseller

This item is available through your usual bookshop or bookseller

See details