Logical frameworks for truth and abstraction
Subtitle: an axiomatic study
By: Andrea Cantini.
Series: Studies in logic and the foundations of mathematics ;; v. 135
Publisher: Elsevier Science B.V.
Published: 1996
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 461
Subjects: Logic, Symbolic and mathematical.; Truth.
Notes: Includes bibliographical references (p. [425]-440) and index.