scientific article

zbMath0087.00902MaRDI QIDQ3257767

Paul Bernays

Publication date: 1959

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Proof-theoretic semantics for classical mathematics ⋮ First-Order Logic Without Bound Variables: Compositional Semantics ⋮ Kohärente Systeme von BOOLEschen Algebren ⋮ Turning decision procedures into disprovers ⋮ Relation algebras: Concept of points and representability