scientific article; zbMATH DE number 3445215
From MaRDI portal
Publication:4770375
zbMath0284.02001MaRDI QIDQ4770375
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) General logic (03B99)
Related Items (11)
A plea for logical objects ⋮ Henkin’s Theorem in Textbooks ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Addendum to ``Sloman's view of Gödel's sentence ⋮ PROBLEMS WITH COMPLEXITY IN GOLD'S PARADIGM OF INDUCTION Part I: Dynamic Complexity ⋮ Russell and the Universalist Conception of Logic ⋮ Alethic undecidability and alethic indeterminacy ⋮ Axiomatization of some basic and modal Boolean connexive logics ⋮ Sloman's view of Gödel's sentence ⋮ Simplification in a satisfiability checker for VLSI applications ⋮ REFLECTIONS ON MATHEMATICAL ECONOMICS IN THE ALGORITHMIC MODE
This page was built for publication:
