Books on Amazon
|Constructivism||Berka I 496
Names / variables / constants / Tarski: variables represent names - constants are names. (> Representation, > Substitute) - for each constant and each variable of the object language (except for the logical constants of the prop. calc.) we can constitute a fundamental feature that contains this sign (the statement variables enter into the fundamental functions neither as functors nor as arguments) - statement variable: any ((s) individual) of them is regarded as an independent fundamental function.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983