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

عنوان
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

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

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

رده
QA
9
.
7
.
L3

کتابخانه
Central Library and Documentation Center

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

Central Library and Documentation Center

تماس با کتابخانه : 03433257204

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Amsterdam, New York
Name of Publisher, Distributor, etc.
North-Holland Pub. Co.
Date of Publication, Distribution, etc.
1977

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xviii, 307 p.: ill.; 23 cm

SERIES

Other Title Information
Studies in logic and the foundations of mathematics, v. 98

GENERAL NOTES

Text of Note
Errata slip inserted
Text of Note
Includes bibliographical references and index
Text of Note
Includes bibliographies

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui

ORIGINAL VERSION NOTE

Text of Note
1
Text of Note
2

TOPICAL NAME USED AS SUBJECT

Entry Element
Congresses ، Nonclassical mathematical logic
Entry Element
Congresses ، Model theory
Entry Element
Congresses ، Computable functions

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
7
.
L3

OTHER CLASS NUMBERS

Class number
CA
Class number
511/
.
8

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
AU

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

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

Entry Element
Latin-American Symposium on Mathematical Logic, 3d, 1976, State University of Campinas

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