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
پدید آورنده
Shawn Hedman
موضوع
، 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
First Statement of Responsibility
Shawn Hedman
.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
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