Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics - Cantini, A. (University of Florence, Department of Philosophy, Italy) - Books - Elsevier Science & Technology - 9780444823069 - March 14, 1996
In case cover and title do not match, the title is correct

Cantini, A. (University of Florence, Department of Philosophy, Italy)
Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics 1st edition

Price
HK$ 1,598
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Nov 6 - 18
Christmas presents can be returned until 31 January
Get notified about new Cantini, A. (University of Florence, Department of Philosophy, Italy) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

460 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 14, 1996
ISBN13 9780444823069
Publishers Elsevier Science & Technology
Pages 460
Dimensions 160 × 230 × 30 mm   ·   839 g
Language English  

More from the same publisher

See all of Cantini, A. (University of Florence, Department of Philosophy, Italy)