scientific article; zbMATH DE number 3445215
From MaRDI portal
Publication:4770375
zbMATH Open0284.02001MaRDI QIDQ4770375FDOQ4770375
Authors: Geoffrey A. M. Hunter 
Publication date: 1971
Title of this publication is not available (Why is that?)
Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)
Cited In (12)
- A plea for logical objects
- Alethic undecidability and alethic indeterminacy
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- PROBLEMS WITH COMPLEXITY IN GOLD'S PARADIGM OF INDUCTION Part I: Dynamic Complexity
- Russell and the Universalist Conception of Logic
- Addendum to ``Sloman's view of Gödel's sentence
- Simplification in a satisfiability checker for VLSI applications
- Sloman's view of Gödel's sentence
- On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
- Axiomatization of some basic and modal Boolean connexive logics
- Henkin's theorem in textbooks
- Reflections on mathematical economics in the algorithmic mode
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4770375)
