Filter
Sökt på: Sökresultat
Filter
1 träff
Higher-order Logic and Type Theory
pocket,
2022,
Engelska,
ISBN 9781108986908
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing …