• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Non-classical logics, model theory, and computability

پدید آورنده
/ edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -

موضوع
Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses

رده
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976

کتابخانه
Central Library and Document Center of Shahid Chamran University

محل استقرار
استان: Khuzestan ـ شهر: Ahvaz

Central Library and Document Center of Shahid Chamran University

تماس با کتابخانه : 33360244-061

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0720407524

NATIONAL BIBLIOGRAPHY NUMBER

Country Code
IR
Number
ebook15317

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 computability
General Material Designation
[Electronic Resource]
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, R. Chuaqui. -

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Amsterdam ;New York
Name of Publisher, Distributor, etc.
: North-Holland Pub. Co. ;New York :distributors for the U.S.A. and Canada, Elsevier/North-Holland,
Date of Publication, Distribution, etc.
, 1977.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xviii, 307 p.
Other Physical Details
: --

SERIES

Series Title
(Studies in logic and the foundations of mathematics
Volume Designation
; v. 89)

NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.

Text of Note
e

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographies.

SERIES

Title
Studies in logic and the foundations of mathematics
Volume Number
v. 89

TOPICAL NAME USED AS SUBJECT

Nonclassical mathematical logic--Congresses
Model theory--Congresses
Computable functions--Congresses

DEWEY DECIMAL CLASSIFICATION

Number
511
,
8

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976

PERSONAL NAME - SECONDARY RESPONSIBILITY

Arruda, Ayda I
Costa, Newton C. A. da
Chuaqui, R

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

Latin-American Symposium on Mathematical Logic(3d :1976 :State University of Campinas,)

ORIGINATING SOURCE

Country
ایران

LOCATION AND CALL NUMBER

Call Number
511,8

ELECTRONIC LOCATION AND ACCESS

Date and Hour of Consultation and Access
0720407524.pdf
Electronic Format Type
0

old catalog

e

BL
1

a
Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival