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

عنوان
Metamathematical investigation of intuitionistic arithmetic and analysis

پدید آورنده
/ [by] A. S. Troelstra

موضوع
Intuitionistic mathematics,Proof theory,Model theory

رده
QA
9
.
47
.
T7
1973

کتابخانه
Library of College of Science University of Tehran

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

Library of College of Science University of Tehran

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

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0387064915

NATIONAL BIBLIOGRAPHY NUMBER

Country Code
IR
Number
25674

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
انگلیسی

COUNTRY OF PUBLICATION OR PRODUCTlON

Country of publication
IR

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Metamathematical investigation of intuitionistic arithmetic and analysis
General Material Designation
[Book]
First Statement of Responsibility
/ [by] A. S. Troelstra

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer-Verlag
Date of Publication, Distribution, etc.
, 1973.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xvii, 486 p.
Other Physical Details
: ill. 24 cm.

SERIES

Series Title
(Lecture notes in mathematics
Volume Designation
; 344)

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references (p. [462]-475)

TOPICAL NAME USED AS SUBJECT

Intuitionistic mathematics
Proof theory
Model theory

DEWEY DECIMAL CLASSIFICATION

Number
510/
.
8
.
s
511/
.
3

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
47
Book number
.
T7
1973

PERSONAL NAME - PRIMARY RESPONSIBILITY

Troelstra, A. S. (Anne Sjerp)

ORIGINATING SOURCE

Country
Iran
Agency
University of Tehran. College of Science Library

LOCATION AND CALL NUMBER

Call Number
510/.8 , .s 511/.3

old catalog

BL
1

a
Y

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