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
$ 203.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 26 - Jul 8

Our customers say:

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

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  

Mere med samme udgiver

See all of Cantini, A. (University of Florence, Department of Philosophy, Italy) ( e.g. Hardcover Book )