Curry, Haskell Brooks

2: Combinatory logic

Amsterdam ; London : North-Holland, 1972

Abstract: Addenda to pure combinatory logic - Foundations of the illative theory - Combinatory arithmetic - The theory of functionality - The theory of restricted generality - The theory of universal generality - Combinatory type theory.

Details

Field	Value
Description	2: Combinatory logic/ Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. - Amsterdam ; London : North-Holland, 1972. - XIV, 520 p. ; 23 cm. - (Studies in logic and the foundations of mathematics ; 65)
Series	[Is part of] Studies in logic and the foundations of mathematics ; 65 [Go to detail]
Linked titles	[Is part of] Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig ; 2
Numbers	ISBN: 0720422086
Authors	Curry, Haskell Brooks - [Main author] Hindley, James Roger - [Alternative author] Seldin, Jonathan P. - [Alternative author]
Keys	Logica Matematica
Publishing location	Amsterdam - [Place of pubblication] London - [Place of pubblication]
Editor	North-Holland - [Editor/publisher]
	Categorie _MONOGRAFIE - LC (Libri dal 1840 fino agli anni '70)
Country	Netherlands
Language	English
ID file	44940