Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
برهان گودل و حقیقت و برهان
پدید آورنده
ناگل، ارنست
موضوع
گودل، قضیه,منطق ریاضی
رده
QA
۹
/
۶۵
/
ن
۲
ب
۴
کتابخانه
Central Library and Documentation Center
محل استقرار
استان:
Kerman
ـ شهر:
Kerman
تماس با کتابخانه :
03433257204
OTHER STANDARD IDENTIFIER
Standard Number
01P117310
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
فارسی
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
ناگل، ارنست
Title Proper
برهان گودل و حقیقت و برهان
.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
۱۴۵،]۶[ ص.
Specific Material Designation and Extent of Item
کتاب
GENERAL NOTES
Text of Note
بالای عنوان: مباحثی در فلسفه ریاضی
Text of Note
عنوان اصلی: proof s'Godel
Text of Note
کتابنامه
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی؛ ترجمه محمد اردشیر
NOTE RELATING TO THE COPY IN HAND
Text of Note
۱
TOPICAL NAME USED AS SUBJECT
Entry Element
گودل، قضیه
Entry Element
منطق ریاضی
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
۹
/
۶۵
/
ن
۲
ب
۴
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
پدید آورنده
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
نیومن، جیمز روی
Entry Element
تارسکی، آلفرد
Entry Element
اردشیر بهرستاقی، محمد
پدیدآورنده
پدیدآورنده
پدیدآورنده
عنوان
مترجم
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
۱۳۳۵ -
LOCATION AND CALL NUMBER
Call Number Suffix
۰۱
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal