عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .G6 1996a
QA
9
.
A1
.
G6
1996a
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
130226
Standard Number
130427
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
تابستان۱۸
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)20-24(
Title Proper
Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Natick, Mass.
Name of Publisher, Distributor, etc.
Association for Symbolic Logic
Date of Publication, Distribution, etc.
2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 322 p.: ill.; 24 cm
SERIES
Series Title
Lecture notes in logic
ISSN of Series
6
GENERAL NOTES
Text of Note
Originally published: Berlin: Springer-Verlag, 1996
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Logic, Symbolic and mathematical
Entry Element
Congresses ، Mathematics-- Philosophy
Entry Element
Congresses ، Computer science
Entry Element
Congresses ، Mathematical physics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
A1
.
G6
1996a
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
edited by Petr Hajek
AU rteP ,kejaH
TI
SE
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Godel'96 )1996: Brno, Czech Republic(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
165
Shelving Form of Title, Author, Author/Title
02
