Higher-Order Logic and Type TheoryAuthor :
Paperback
Published : Thursday 31 March 2022
Description
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.
You may also like ...
by
Paperback
21 May 2024
Medical diagnosis
€58.49
Extended stock – Dispatch 5-7 days
by
Paperback
05 May 2011
Mathematical logic
€55.56
Extended stock – Dispatch 5-7 days
by
Hardback
27 Mar 2008
Comparative law
€140.40
Extended stock – Dispatch 5-7 days
by
Paperback
27 Mar 2008
Comparative law
€98.28
Extended stock – Dispatch 5-7 days
Reviews