Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... Natural Deduction: A Proof-Theoretical Studyvon Dag Prawitz
Keine Lädt ...
Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest. Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition. Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeine
Google Books — Lädt ... GenresMelvil Decimal System (DDC)162Philosophy and Psychology Logic DeductiveKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt:
Bist das du?Werde ein LibraryThing-Autor. |