scientific article; zbMATH DE number 1215502

zbMath0914.03056MaRDI QIDQ4215639

Robert L. Constable

Publication date: 21 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof construction system

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Intuitionistic Epistemology and Modal Logics of Verification, The mathematical significance of proof theory, Innovations in computational type theory using Nuprl, Typing in reflective combinatory logic