Combinatory logic /

Bibliographic Details
Main Author: Curry, Haskell B. (Haskell Brooks), 1900-1982
Other Authors: Feys, Robert, 1889-
Format: Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1958-72.
Series:Studies in logic and the foundations of mathematics.
Subjects:

MARC

LEADER 00000cam a2200000 4500
001 in00000601277
005 20151014102915.0
008 720803m19581972ne 00010 eng u
010 |a a 59001593  
020 |a 0720422086 (v.2) 
035 |a (OCoLC)00373234 
035 |9 ACR6787AM 
040 |c WSU  |d TXA  |d UtOrBLW 
049 |a TXAM  |c 1  |v 1 [298808]  |v 2 [1205464] 
050 0 |a QA9.5  |b .C87 
082 0 |a 551/.3 
090 |a QA9  |b .C81 
100 1 |a Curry, Haskell B.  |q (Haskell Brooks),  |d 1900-1982. 
245 1 0 |a Combinatory logic /  |c [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. 
264 1 |a Amsterdam :  |b North-Holland Pub. Co.,  |c 1958-72. 
300 |a 2 volumes ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Includes bibliographies. 
650 0 |a Combinatory logic. 
650 0 |a Logic, Symbolic and mathematical. 
700 1 |a Feys, Robert,  |d 1889- 
830 0 |a Studies in logic and the foundations of mathematics. 
999 |a MARS 
999 f f |s 7ab8fddc-b7e1-3eee-b33a-b2765c624f35  |i 0663cba9-d507-3f60-88f7-fbcd8e21e115  |t 0 
952 f f |p normal  |a Texas A&M University  |b College Station  |c Sterling C. Evans Library  |d Evans: Library Stacks  |t 0  |e QA9 .C81  |h Library of Congress classification  |i unmediated -- volume  |k v.2  |m A14804434957 
952 f f |p normal  |a Texas A&M University  |b College Station  |c Sterling C. Evans Library  |d Evans: Library Stacks  |t 0  |e QA9 .C81  |h Library of Congress classification  |i unmediated -- volume  |k v.1  |m A14804434949 
998 f f |a QA9 .C81  |s v.1-v.2  |t 0  |l Evans: Library Stacks