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
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
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- Article
- 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
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
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