Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Combinatory logic
پدید آورنده
Curry, Haskell Brooks
موضوع
، Combinatory logic
رده
QA
9
.
5
.
C87
کتابخانه
Library of College of Science University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
61112616
-
66495290
-
021
OTHER STANDARD IDENTIFIER
Standard Number
32050
Standard Number
34928
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Curry, Haskell Brooks
Title Proper by Another Author
0091-
Title Proper
Combinatory logic
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland Pub. Co.
Date of Publication, Distribution, etc.
1958-72
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
2 v. 24 cm
SERIES
Series Title
Studies in logic and the foundations of mathematics
GENERAL NOTES
Text of Note
Vol. 2: imprint covered by label: Distributed in the U.S.A. by Humanities Press, New York
Text of Note
Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin
Text of Note
Includes bibliographies
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Haskell B. Curry, Robert Feys. With two sections by William Craig
TOPICAL NAME USED AS SUBJECT
Entry Element
، Combinatory logic
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
5
.
C87
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
SE
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
یاضه ریه دانشکدانابخکت
Shelving Form of Title, Author, Author/Title
یاضه ریه دانشکدانابخکت
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal