Combinatory logic / Haskell B. CURRY

Public ISBD Title : Combinatory logic : I Material Type: printed text Authors: Haskell B. CURRY ; Robert Feys Publisher: Amsterdam : North-Holland publishing company Publication Date: 1958 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 14337 Languages : English (eng) Descriptors: Matematika Combinatory logic : I [printed text] / Haskell B. CURRY ; Robert Feys . - Amsterdam : North-Holland publishing company, 1958. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 14337 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
5.918	5.918	$r non conforme --	fond	fond	u fondu Available

Foundations of mathematical logic / Haskell B. CURRY

Public ISBD Title : Foundations of mathematical logic Material Type: printed text Authors: Haskell B. CURRY Publisher: New York : McGraw-Hill Publication Date: 1963 Series: McGraw-Hill series in higher mathematics General note: Pergam ID: MF 10885 Languages : English (eng) Descriptors: Matematika Foundations of mathematical logic [printed text] / Haskell B. CURRY . - New York : McGraw-Hill, 1963. - (McGraw-Hill series in higher mathematics) . Pergam ID: MF 10885 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
11.693	11.693	$r non conforme --	fond	fond	u fondu Available

Osnovanija matematičeskoj logiki / Haskell B. CURRY

Public ISBD Title : Osnovanija matematičeskoj logiki Material Type: printed text Authors: Haskell B. CURRY Publisher: Moskva : Mir Publication Date: 1969 Pagination: 567 str. Size: 23 cm General note: MF 19013 Languages : Russian (rus) Descriptors: Matematika Osnovanija matematičeskoj logiki [printed text] / Haskell B. CURRY . - Moskva : Mir, 1969 . - 567 str. ; 23 cm. MF 19013 Languages : Russian (rus) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
32.661	32.661	$r non conforme --	fond	fond	u fondu Available

A Theory of Formal Deducibility / Haskell B. CURRY

Public ISBD Title : A Theory of Formal Deducibility Material Type: printed text Authors: Haskell B. CURRY Publisher: Notre Dame : University of Notre Dame Press Publication Date: 1966 Series: Notre Dame Mathematical Lectures No. 6 General note: Pergam ID: MF 5937 Languages : English (eng) Descriptors: Matematika A Theory of Formal Deducibility [printed text] / Haskell B. CURRY . - Notre Dame : University of Notre Dame Press, 1966. - (Notre Dame Mathematical Lectures; 6) . Pergam ID: MF 5937 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
20.693	20.693	$r non conforme --	fond	fond	u fondu Available

---

1 (1 - 4 / 4)