Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Logical frameworks for truth and abstraction: an axiomatic study
پدید آورنده
Cantini, Andrea.
موضوع
، Logic, Symbolic and mathematical,، Truth
رده
QA
9
.
C324
1996
کتابخانه
Central Library and Documentation Center
محل استقرار
استان:
Kerman
ـ شهر:
Kerman
تماس با کتابخانه :
03433257204
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
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal