scientific article

zbMATH Open0673.03008MaRDI QIDQ3826519

David Basin

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

constructive mathematicsRamsey's theoremfinite set theoryNuprl proof development systemmechanized constructive theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

Building Structured Theories ⋮ A Guide to NIP Theories ⋮ The Universal Theory Tool Building Toolkit Is Substructural

Uses Software

• Nuprl

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3826519)