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

عنوان
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel

پدید آورنده
Mostowski, Andrzej.

موضوع
، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem

رده
QA
9
.
65
.
M68

کتابخانه
Central Library and Documentation Center

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

Central Library and Documentation Center

تماس با کتابخانه : 03433257204

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland Pub. Co.
Date of Publication, Distribution, etc.
1952

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
117 p. 23 cm

SERIES

Other Title Information
Studies in logic and the foundations of mathematics

GENERAL NOTES

Text of Note
Bibliography: p. 116-117
Text of Note
Includes bibliography

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
Andrzej Mostowski

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Semantics )Philosophy(
Entry Element
، Godel's theorem

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
65
.
M68

OTHER CLASS NUMBERS

Class number
CA
Class number
164

PERSONAL NAME - PRIMARY RESPONSIBILITY

Entry Element
Mostowski, Andrzej.
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