Before revision: 625– 637 Coincidentally, the first English presentation of Tarski’s 1933 axiomatic foundations of string theory appeared in 1956 – the same year that Church called for such axiomatizations.Pages 173–4 of Alfred Tarski, The concept of truth in formalized languages reprinted in Logic, Semantics, Metamathematics, Hackett, Indianapolis, 1983, pp.
After revision: ,625– 637 Coincidentally, the first English presentation of Tarski’s 1933 axiomatic foundations of string theory appeared in 1956 – the same year that Church called for such axiomatizations.Pages 173–4 of Alfred Tarski, The concept of truth in formalized languages reprinted in Logic, Semantics, Metamathematics, Hackett, Indianapolis, 1983, pp.