Contents
Reviews
Alan Rose. Strong completeness of fragments of the propositional calculus. The journal of symbolic logic, vol. 16 (1951), p. 204. - Alan Rose. The degree of completeness of a partial system of the 2-valued Propositional Calculus. Mathematische Zeitschrift, vol. 54 (1951), pp. 181–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
Alan Rose. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 (1951), pp. 152–165. - Alan Rose. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 (1951), pp. 285–287. - Alan Rose. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 (1951), pp. 47–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Jeanne-Pierre Zahlen. Sur une application de la logislique à un problème de calcul des probabilités. Euclides (Madrid), t. 10 (1950), pp. 160–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
Olav Valen-Sendstad. Der Wahrheilsbegriff in der zweiwertigen Logik. Theoria, vol. 15 (1949), pp. 367–383.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
-
- Article
- Export citation
Willard van Orman Quine. Mathematical logic. Revised edition. Harvard University Press, Cambridge, Mass., 1951, xii + 346 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
-
- Article
- Export citation
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
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
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