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.
رده
QA9
.
H34
2004
کتابخانه
Central library and document university of Kurdistan
محل استقرار
استان:
Kurdistan
ـ شهر:
Sanandaj
تماس با کتابخانه :
9
-
08733624006و 08733664600
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0198529805
NATIONAL BIBLIOGRAPHY NUMBER
Number
۲۰۱۰۴۳۵۱
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
General Material Designation
[book]
First Statement of Responsibility
/ Shawn Hedman
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford ; New York
Name of Publisher, Distributor, etc.
: Oxford University Press
Date of Publication, Distribution, etc.
, 2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xx, 431 p.
Other Physical Details
: ill.
Dimensions
; 25 cm.
SERIES
Series Title
Oxford texts in logic
Volume Designation
; 1
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. [426]-427) and index
TOPICAL NAME USED AS SUBJECT
Logic.
Logic, Symbolic and mathematical.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
H34
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
Hedman, Shawn.
ORIGINATING SOURCE
Country
ایران
Agency
Central Library of the Kurdistan University
p
BL
270410
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal