Boeken zoals: Semantics of Type Theory
Tips voor lezers van T. Streicher
Heb je Semantics of Type Theory gelezen? Of ben je fan van de boeken van T. Streicher? Dan vind je hieronder een aantal leestips die ook werden gezocht door lezers van 'Semantics of Type Theory'.
Structural Proof Theory
ISBN 9780521068420
Structural proof theory is a branch of logic that studies the general structure and properties of logical and ...
€ 51.99
Type Theory & Formal Proof
ISBN 9781107036505
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This ...
€ 83.99
AI Safety
ISBN 9781634627344
Artificial Intelligence is transforming our world-but can we trust it to be safe, ethical, and aligned with ...
€ 43.46
Elements in Philosophy and Logic- Gödel's Incompleteness Theorems
ISBN 9781108986991
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness ...
€ 23.00
Type Theory and Formal Proof
ISBN 9781316053980
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This ...
€ 73.99
Evolution of a Taboo
ISBN 9780197682647
The history of pigs in the ancient Near East, from domestication to taboo, has fascinated historians and ...
€ 29.87
Semantics of Type Theory
