Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

- An Axiomatic Study

av A. (University of Florence Cantini

del av Studies in Logic and the Foundations of Mathematics-serien

Logical Frameworks for Truth and Abstraction av A. (University of Florence Cantini
Om Logical Frameworks for Truth and Abstraction

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780444823069
  • Format:
  • Inbunden
  • Sidor:
  • 460
  • Utgiven:
  • 14. mars 1996
  • Mått:
  • 234x156x27 mm.
  • Vikt:
  • 900 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 22. maj 2025

Om A. (University of Florence Cantini

Se alla böcker av A. (University of Florence Cantini

Beskrivning av Logical Frameworks for Truth and Abstraction

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.

Användarnas betyg av Logical Frameworks for Truth and Abstraction



Andra köpte även...
Hitta liknande böcker
Boken Logical Frameworks for Truth and Abstraction finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.