Combinatory logic. Volume II /

Provability, Computability and Reflection.

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Curry, Haskell B. (Haskell Brooks), 1900-1982, Hindley, J. Roger, Seldin, J. P.
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; London : North-Holland Pub. Co, 1972.
Series:	Studies in logic and the foundations of mathematics ; v. 65.
Subjects:	Combinatory logic. Logique combinatoire. MATHEMATICS > Infinity. MATHEMATICS > Logic. Combinatory logic Electronic books.
Online Access:	Connect to the full text of this electronic book