Open AccessModels of Propositional Calculi in Recursive Arithmetic.
Author(s) -
R. L. Goodstein
Publication year - 1958
Publication title -
mathematica scandinavica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.553
H-Index - 30
eISSN - 1903-1807
pISSN - 0025-5521
DOI - 10.7146/math.scand.a-10554
Subject(s) - mathematics , arithmetic , propositional variable , algebra over a field , calculus (dental) , pure mathematics , theoretical computer science , computer science , intermediate logic , description logic , medicine , dentistry