De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

- An Axiomatic Study

af A. (University of Florence Cantini

indgår i Studies in Logic and the Foundations of Mathematics serien

Logical Frameworks for Truth and Abstraction af A. (University of Florence Cantini
Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780444823069
  • Indbinding:
  • Hardback
  • Sideantal:
  • 460
  • Udgivet:
  • 14. marts 1996
  • Størrelse:
  • 234x156x27 mm.
  • Vægt:
  • 900 g.
  • 2-3 uger.
  • 16. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om A. (University of Florence Cantini

Vis alle bøger af A. (University of Florence Cantini

Beskrivelse af 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.

Brugerbedømmelser af Logical Frameworks for Truth and Abstraction



Andre købte også..
Find lignende bøger
Bogen Logical Frameworks for Truth and Abstraction findes i følgende kategorier: