Metamathematical extensibility for theorem verifiers and proof-checkers
From MaRDI portal
Publication:1131849
DOI10.1016/0898-1221(79)90044-0zbMath0418.68079OpenAlexW1975127350MaRDI QIDQ1131849
Martin Davis, Jacob T. Schwartz
Publication date: 1979
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(79)90044-0
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Hybrid reasoning using universal attachment ⋮ Directly reflective meta-programming ⋮ Explicit Provability and Constructive Semantics ⋮ Banishing Ultrafilters from Our Consciousness
Cites Work
This page was built for publication: Metamathematical extensibility for theorem verifiers and proof-checkers
