Back

Zoom Roll over image to zoom in

Logical Frameworks for Truth and Abstraction: An Axiomatic Study Volume 135 (Studies in Logic and the Foundations of Mathematics") <135>

Cantini, A.
332.92 AUD
Member Price
299.63
English

Product Description

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.

... Read Full Text

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Discount is applied at checkout.

Recently Viewed Items

Related Products