MPG.eBooks - Search Results - "Theorie"

Cover Image

1

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Published 1999

Cambridge University Press

Subjects: “...Set theory / Congresses...”

Cover Image

2

Effective mathematics of the uncountable

Published 2013

Cambridge University Press

Subjects: “...Model theory...”

Cover Image

3

Proofs and computations

by Schwichtenberg, Helmut, Wainer, S. S.
Published 2012

Cambridge University Press

Subjects: “...Proof theory...”