Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
برهان گودل و حقیقت برهان
پدید آورنده
ناگل، ارنست، ۱۹۰۱-
موضوع
ریاضیات -- فلسفه,منطق ریاضی
رده
QA
۹
/
ن
۲
ب
۴
کتابخانه
Library of College of Science University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
61112616
-
66495290
-
021
OTHER STANDARD IDENTIFIER
Standard Number
56153
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
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی؛ مترجم: محمد اردشیر
CONTENTS NOTE
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
اردشیر، محمد
پدیدآورنده
و
پدیدآورنده
عنوان
عنوان
نویسنده همکار
مترجم
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
کتابخانه مرکزی پردیس علوم
Shelving Form of Title, Author, Author/Title
کتابخانه دانشکده ریاضی
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal