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

عنوان
Elements of mathematical logic ; model theory

پدید آورنده
Kreisel, Georg

موضوع
، Logic, Symbolic and mathematical,، Mathematical models

رده
QA
9
.
K772
1971

کتابخانه
Central Library of Sharif University of Technology

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

Central Library of Sharif University of Technology

تماس با کتابخانه : 66005817-021

OTHER STANDARD IDENTIFIER

Standard Number
39159

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
آخر۲۷
.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

General Material Designation
)20(
First Statement of Responsibility
Kreisel, Georg
Title Proper
Elements of mathematical logic ; model theory

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Amstrerdam
Name of Publisher, Distributor, etc.
North-Holland Pub. Co.
Date of Publication, Distribution, etc.
1971

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xvii, 231 p.

SERIES

Series Title
Studies in logic and the foundations of mathematics

NOTES PERTAINING TO EDITION AND BIBLIOGRAPHIC HISTORY

Text of Note
2nd ed.

TOPICAL NAME USED AS SUBJECT

Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Mathematical models

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
K772
1971

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
AU
Entry Element
]by[ G. Kreisel ]and[ J. L. Krivine

CO Krivine
TI
SE

LOCATION AND CALL NUMBER

Shelving Form of Title, Author, Author/Title
02

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