Fr. 169.00

A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A

Logical Frameworks for Truth and Abstraction - An Axiomatic Study

English · Hardback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

Zusammenfassung Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.

Product details

Authors	A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A
Publisher	ELSEVIER SCIENCE BV

Languages	English
Product format	Hardback
Released	01.03.1996

EAN	9780444823069
ISBN	978-0-444-82306-9
No. of pages	460
Series	Studies in Logic and the Foundations of Mathematics
Subjects	Humanities, art, music > Linguistics and literary studies > General and comparative linguistics Natural sciences, medicine, IT, technology > Mathematics > Miscellaneous

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.