Higher-Order Logic and Type Theory

DOI10.1017/9781108981804OpenAlexW4220739050MaRDI QIDQ5862337

No author found.

Publication date: 9 March 2022

Full work available at URL: https://doi.org/10.1017/9781108981804

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx)

Related Items (1)

Unnamed Item

This page was built for publication: Higher-Order Logic and Type Theory