scientific article; zbMATH DE number 2231185

zbMath1082.03001MaRDI QIDQ5706740

D. C. Goldrei

Publication date: 21 November 2005

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

zbMATH Keywords

predicate calculuscompleteness theorempropositional calculusformal languageformal proof system

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05)

Related Items (2)

Abstract interpretation of database query languages ⋮ Prime simplicity

This page was built for publication: