Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدید آورنده
Hedman, Shawn
موضوع
، Logic,، Logic, Symbolic and mathematical
رده
QA
9
.
H43F5
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford
Name of Publisher, Distributor, etc.
Oxford University Press
Date of Publication, Distribution, etc.
c2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xx, 431 p.: ill
SERIES
Other Title Information
Oxford texts in logic; 1
GENERAL NOTES
Text of Note
Bibliography: p.]426[-427
Text of Note
ISBN: 0198529813
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Shawn Hedman
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
H43F5
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Hedman, Shawn
Relator Code
AU
TI
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal