
- Author: Gerhard Brewka
- Language: English
- Year: 1991

- Author: G. E. Revesz
- Language: English
- Year: 1988

Proofs and Types
djvu
- Author: Jean-Yves Girard Yves Lafont Paul Taylor
- Language: English
- Year: 1989

Proofs and Types
pdf
- Author: Jean-Yves Girard Yves Lafont Paul Taylor
- Language: English
- Year: 2003

- Author: Ramsay A.M.
- Language: English
- Year: 1988

- Author: Paulson L.C.
- Language: English
- Year: 1990

- Author: Clifford J.
- Language: English
- Year: 1990

- Author: Chaitin Gregory J.
- Language: English
- Year: 1987

- Author: Gregory. J. Chaitin
- Language: English
- Year: 1987

- Author: Lawrence C. Paulson
- Language: English
- Year: 1990