Contents
Reviews
László Kalmár. Eine einfache Konstruktion unenlscheidbarer Sätze in formalen Systemen. Methodos, vol. 2 no. 6–7 (1950), pp. 220–226. - László Kalmár. A simple construction of undecidable propositions in formal systems. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 2 no. 6–7 (1950), pp. 227–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-151
-
- Article
- Export citation
Edmund C. Berkeley. The relations between symbolic logic and large-scale calculating machines. Science, vol. 112 (1950), pp. 395–399.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- Article
- Export citation
Reviews
A. Markov. Névozmožnost' algorifmov raspoznavaniá nékotoryh svojstv associativnyh sistém (Impossibility of algorithms for recognizing some properties of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 953–956.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
Front matter
JSL volume 17 issue 1 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation
Reviews
A. Markov. Ob odnoj nérazréšimoj problémé, kasaúščéjsá matric (On an unsolvable problem concerning matrices). Doklady Akadémii Nauk SSSR, vol. 78 (1951), pp. 1089–1092.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
Wilhelm Ackermann. Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Malhematische Zeitschrift, vol. 53 (1950–1951), pp. 403–413.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Moh Shaw-Kwei. The deduction theorems and two new logical systems. Methodos, vol. 2 no. 5 (1950), pp. 56–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
-
- Article
- Export citation
Ramón Crespo Pereira. Sobre el álgebra de la lógica de Schröder. Revista matemática hispano-americana, ser. 4 vol. 11 (1951), pp. 222–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 154
-
- Article
- Export citation
Crispin Kim-Bradley. Symbolic logic and metamathematics. Astounding science fiction, vol. 48 no. 6 (1952), pp. 94–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 154
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
-
- Article
- Export citation
Fourteenth meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Abstracts of papers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-159
-
- Article
- Export citation
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
-
- Article
- Export citation
Problems
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Front matter
JSL volume 17 issue 2 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation