Books on Amazon
|Berka I 532
elementary number theory / Tarski: the science in which all variables represent names of natural numbers - as constants: (in addition to the characters of the prop calc. and the functional calculus) the characters of zero, unity, equality, the sum and of the product may occur.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983