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) - Kirjat - Elsevier Science & Technology - 9780444823069 - torstai 14. maaliskuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

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

Hinta
Mex$ 4.197,60

Tilattu etävarastosta

Arvioitu toimitus to - ma 7. - 18. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 14. maaliskuuta 1996
ISBN13 9780444823069
Tuottaja Elsevier Science & Technology
Sivujen määrä 460
Mitta 160 × 230 × 30 mm   ·   839 g
Kieli English  

Katso kaikki joka sisältää Cantini, A. (University of Florence, Department of Philosophy, Italy) ( Esim. Hardcover Book )