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øker - Elsevier Science & Technology - 9780444823069 - 14. mars 1996
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

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

Pris
HK$ 1.596

Bestillingsvarer

Forventes levert 6. - 15. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 14. mars 1996
ISBN13 9780444823069
Utgivere Elsevier Science & Technology
Antall sider 460
Mål 160 × 230 × 30 mm   ·   839 g
Språk Engelsk  

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