Menu
Home
Advanced Search
Directory of Libraries
عنوان
Computability and logic
پدید آورنده
/ George Boolos, Richard Jeffrey
موضوع
Recursive functions,Logic, symbolic and mathematical
رده
511
.
3
B724c
کتابخانه
Central Library and Archive Center of shahid Beheshti University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22431916
-
021
NATIONAL BIBLIOGRAPHY NUMBER
Number
206183
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computability and logic
General Material Designation
[book]
First Statement of Responsibility
/ George Boolos, Richard Jeffrey
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge (Eng.)
Name of Publisher, Distributor, etc.
: University Press
Date of Publication, Distribution, etc.
، [<1974>]
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 262 p.
Other Physical Details
: ill
TOPICAL NAME USED AS SUBJECT
Entry Element
Recursive functions
Entry Element
Logic, symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
B724c
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
248
.
5
.
B66
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
Jeffrey, Richard C.
Entry Element
Boolos, George
Relator Code
creator
Relator Code
author
ORIGINATING SOURCE
Country
ایران
LOCATION AND CALL NUMBER
Call Number
QA 248 .5 .B66
Previous cataloging
BL
1
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal