Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
برهان گودل و حقیقت و برهان
پدید آورنده
نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
موضوع
گودل، قضیه,منطق ریاضی
رده
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
کتابخانه
Publishing Library of Samt
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
44234843
-
021
OTHER STANDARD IDENTIFIER
Standard Number
۲۰۰۲
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
فارسی
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Nagel, Ernest
First Statement of Responsibility
نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Parallel Title Proper
Godel's proof
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
تهران
Name of Publisher, Distributor, etc.
مولی
Date of Publication, Distribution, etc.
۱۳۶۴
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
۱۴۵،[۶] ص
GENERAL NOTES
Text of Note
عنوان
NOTE RELATING TO THE COPY IN HAND
Text of Note
نوع تهیه نامشخص .
Text of Note
0
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
واژهنامه
Text of Note
کتابنامه: ص.[۱۰۵]
EXTERNAL INDEXES/ABSTRACTS/REFERENCES NOTE
Name of source
نمایه
TRANSLATED AS
Author
مترجم: محمد اردشیر
UNIFORM TITLE
General Material Designation
برهان گودل و حقیقت و برهان
COVER TITLE
Other Title Information
بالای عنوان: مباحثی در فلسفه ریاضی
TOPICAL NAME USED AS SUBJECT
Entry Element
گودل، قضیه
Entry Element
منطق ریاضی
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
۹
/
۶۵
Classification Record Number
/
ن
۲
ب
۴
۱۳۶۴
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
ناگل، ارنست، ۱۹۰۱ -
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
نیومن، جیمز روی، ۱۹۰۷ - ۱۹۶۶،.Newman, James Roy نویسنده همکار
Entry Element
تارسکی، آلفرد، ۱۹۰۲ - ۱۹۸۲.Tarski, Alfred. نویسنده همکار
Entry Element
اردشیر، محمد، مترجم
LOCATION AND CALL NUMBER
Call Number Suffix
1
کتاب فارسی
غیرمرجع
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal