scientific article

zbMath1012.68183MaRDI QIDQ2782486

Douglas J. Howe

Publication date: 5 August 2002

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

zbMATH Keywords

inference ruletheorem proversemantics of a formal system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Innovations in computational type theory using Nuprl

Uses Software

• PVS
• Nuprl