عنوان
پدید آورنده
موضوع
رده
QA 9 .C324 1996
QA
9
.
C324
1996
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logical frameworks for truth and abstraction: an axiomatic study
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam; New York
Name of Publisher, Distributor, etc.
Elsevier Science B.V.
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 461 p.: ill.; 23 cm
SERIES
Other Title Information
Studies in logic and the foundations of mathematics; v. 531
GENERAL NOTES
Text of Note
Includes bibliographical references )p. ]425[-440( and index.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Andrea Cantini
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
2
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Truth
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
C324
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Cantini, Andrea.
Relator Code
AU
TI
SE
