عنوان
پدید آورنده
موضوع
رده
QA 9 .L38
QA
9
.
L38
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
12917
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
Non-Classical logics, model theory, and compuability
General Material Designation
[Book]
Other Title Information
: proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
First Statement of Responsibility
/ edited by A.I. Arruda, N.C.A. da Costa (and) R. Chuaqui
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Date of Publication, Distribution, etc.
: 1977.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 307 p.
Other Physical Details
: 22 cm
SERIES
Series Title
(Studies in logic and foundations of mathematics
Volume Designation
; 89)
GENERAL NOTES
Text of Note
Language: English
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
Model theory
Recursive functions
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
Book number
.
L38
PERSONAL NAME - SECONDARY RESPONSIBILITY
Arruda, A I, ed
da Costa, N C A, ed
Chuaqui, R, ed
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Latin American Symposium on Mathematical Logic, 3rd, Campinas, Brazil, 1976
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. College of Science Library
LOCATION AND CALL NUMBER
Call Number
QA 9 .L38
old catalog
BL
1
a
Y
