MPG.eBooks - Search Results

Cover Image

1

Logic Colloquium 2006

Published 2009

Cambridge University Press

Cover Image

2

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

Cover Image

3

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

Cover Image

4

Computability, enumerability, unsolvability : directions in recursion theory

Published 1996

Cambridge University Press