Logical frameworks for truth and abstraction : an axiomatic study /

This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as <IT>type-free</IT> or <IT>self-referential</IT>. These traditionally arise from any discussion on logical and semantical par...

Full description

Bibliographic Details

Main Author:	Cantini, Andrea
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : Elsevier Science B.V., 1996.
Series:	Studies in logic and the foundations of mathematics ; v. 135.
Subjects:	Logic, Symbolic and mathematical. Truth. Logique symbolique et mathématique. Vérité. truth. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Truth Combinatorische logica. Modale logica. Mathematical logic Electronic books.
Online Access:	Connect to the full text of this electronic book