Filter
Sökt på: Sökresultat
Filter
1 träff
Introduction to Higher-Order Categorical Logic
pocket,
1988,
Engelska,
ISBN 9780521356534
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed …