scientific article

From MaRDI portal

Publication:3340831

Jump to:navigation, search

zbMath0548.03001MaRDI QIDQ3340831

Matthias Varga von Kibéd, W. Stegmüller

Publication date: 1984

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

zbMATH Keywords

completeness compactness incompleteness syntax calculi semantics of classical logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Arguments, Proofs, and Dialogues ⋮ Another solution to the problem of theoretical terms

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3340831&oldid=16586869"