A simplification of basic logic
From MaRDI portal
Publication:5824362
DOI10.2307/2266555zbMath0052.25102OpenAlexW2064803920MaRDI QIDQ5824362
Publication date: 1953
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266555
Related Items
Correction to a definition of negation ⋮ A definition of existence in terms of abstraction and disjunction ⋮ Recursive functions in basic logic ⋮ Constructive definition of certain analytic sets of numbers ⋮ A definition of negation in extended basic logic ⋮ Abstraction in Fitch's Basic Logic