• 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

Library of Institute for Research in Fundamental Sciences

تماس با کتابخانه : 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

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