عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 C58
QA
9
.
A1
C58
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Collegium Logicum: annals of the Kurt-Godel-Society
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wein, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1995-
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v.; 25 cm.
Other Physical Details
1
GENERAL NOTES
Text of Note
"Most of papers ... were presented at the Collegium Logicum, a continuing lecture series taking place in Vienna and organized by the society."
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Logic
Entry Element
Congresses ، Logic, Symbolic and mathematical
Entry Element
Congresses ، Automatic theorem proving
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
A1
C58
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
CO Kurt Godel Society
TI Collegium Logicum )Vienna, Austria(
