MPG.eBooks - Search Results

1

Effective mathematics of the uncountable

Published 2013

Cambridge University Press

Read Now

2

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

by Leblanc, Hugues
Published 1973

North-Holland

Read Now

3

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004

Published 2007

Cambridge University Press

Table of Contents: “... Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension...”

Read Now

4

Proceedings of the Second Scandinavian Logic Symposium

Published 1971

North-Holland Pub. Co.

Read Now

5

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

Published 1999

Cambridge University Press

Read Now

6

Subsystems of second order arithmetic

by Simpson, Stephen G.
Published 2009

Cambridge University Press

Read Now

7

Proofs and computations

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

Cambridge University Press

Read Now

8

Lambda calculus with types

by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013

Cambridge University Press

“... design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal...”

Read Now

9

Logic Colloquium 2007

Published 2010

Cambridge University Press

Read Now

10

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Published 2007

Cambridge University Press

Read Now

11

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

Narrow Search