Logical frameworks for truth and abstraction : an axiomatic study /

Bibliographic Details

Main Author:	Cantini, Andrea
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1996.
Series:	Studies in logic and the foundations of mathematics ; v. 135.
Subjects:	Logic, Symbolic and mathematical. Truth.