Boeken zoals: Cambridge Studies in Advanced MathematicsSeries Number 7- Introduction to Higher-Order Categorical Logic
Tips voor lezers van J. Lambek
Heb je Cambridge Studies in Advanced MathematicsSeries Number 7- Introduction to Higher-Order Categorical Logic gelezen? Of ben je fan van de boeken van J. Lambek? Dan vind je hieronder een aantal leestips die ook werden gezocht door lezers van 'Cambridge Studies in Advanced MathematicsSeries Number 7- Introduction to Higher-Order Categorical Logic'.
The Correctness-by-Construction Approach to Programming
ISBN 9783642279188
Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully ...
€ 90.99
Categorical Logic And Type Theory
ISBN 9780444508539
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical ...
€ 121.00
Annals of Mathematics Studies220- Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups
ISBN 9780691272269
An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry ...
€ 146.00
Homotopy Theory Of Higher Categories
ISBN 9780521516952
The study of higher categories is attracting growing interest for its many applications in topology ...
€ 97.44
Categorical Homotopy Theory
ISBN 9781107048454
This categorical perspective on homotopy theory helps consolidate and simplify one's understanding of derived ...
€ 98.90
Modal Homotopy Type Theory
ISBN 9780198853404
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle ...
€ 78.99
Cambridge Studies in Advanced MathematicsSeries Number 7- Introduction to Higher-Order Categorical Logic
