scientific article; zbMATH DE number 1852930
From MaRDI portal
Publication:4789460
zbMath1003.03513MaRDI QIDQ4789460
Kees Doets, J. F. A. K. van Benthem
Publication date: 29 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
A formalist philosophy of mathematics. I: Arithmetic ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Abstract deduction and inferential models for type theory ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Two-level Lambda-calculus ⋮ The lambda-context calculus (extended version)
This page was built for publication: