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) - Bøger - Elsevier Science & Technology - 9780444823069 - 14. marts 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics 1. udgave

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

Pris
Kč 5.391

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 11. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Logical Frameworks for Truth and Abstraction: An Axiomatic Study - Studies in Logic and the Foundations of Mathematics 1. udgave

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 14. marts 1996
ISBN13 9780444823069
Forlag Elsevier Science & Technology
Antal sider 460
Mål 160 × 230 × 30 mm   ·   839 g
Sprog Engelsk  

Se alt med Cantini, A. (University of Florence, Department of Philosophy, Italy) ( f.eks. Hardcover bog )