On higher-order logical grounds
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3323813
- Higher-order syllogistics
- scientific article; zbMATH DE number 1852930
- scientific article; zbMATH DE number 1028827
- scientific article; zbMATH DE number 4043819
- Higher-order logic and disquotational truth
- On connections and higher-order logic
- scientific article; zbMATH DE number 5872259
- A logical framework with higher-order rational (circular) terms
- CONCUR 2004 - Concurrency Theory
Cited in
(4)
This page was built for publication: On higher-order logical grounds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046238)