13629 results in The Journal of Symbolic Logic
Raphael M. Robinson. Primitive recursive functions. II. Proceedings of the American Mathematical Society, Bd. 6 (1955), S. 663–666.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
- Print publication:
- December 1957
-
- Article
- Export citation
A. Białynicki-Birula and H. Rasiowa. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 259–261.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
- Print publication:
- December 1957
-
- Article
- Export citation
Herman Meyer. La négation et la logique. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 91–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 383
- Print publication:
- December 1957
-
- Article
- Export citation
Some results in church's restricted recursive arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-342
- Print publication:
- December 1957
-
- Article
- Export citation
A. G. Lunc. Métod sintéza (1, k)-polúsnika (Method of synthesis of a (1, k)-terminal network). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 55–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- December 1957
-
- Article
- Export citation
Hao Wang. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 (1952), pp. 243–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-367
- Print publication:
- December 1957
-
- Article
- Export citation
Hans Hermes. Maschinen zur Entscheidung von mathematischen Problemen. Mathematisch-physikalische Semesterberichte (Göttingen), vol. 2 no. 3/4 (1952), pp. 179–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
- Print publication:
- December 1957
-
- Article
- Export citation
E. Specker. Die Antinomien der Mengenlehre. Dialectica, vol. 8 (1954), pp. 234–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- December 1957
-
- Article
- Export citation
Rózsa Péter. Die beschränkt-rekursiven Funktionen und die Ackermannsche Majorisierungsmethode. Publicationes mathematicae (Debrecen), vol. 4 no. 3–4 (1956), pp. 362–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
- Print publication:
- December 1957
-
- Article
- Export citation
Max Black. Il metodo linguistico in filosofia. Italian translation of XV 210(1) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 1–27. - Max Black. Indeterminatezza: Un esercizio di analisi logica. Italian translation of XV 210(2) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 29–75. - Max Black. La giustificazione dell'induzione. Italian translation of XV 210(3) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 77–113. - Max Black. La definizione semantica della verità. Italian translation of XV 210(4) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 115–137. - Max Black. La filosofia del linguaggio di Russell. Italian translation of XV 210(5) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 139–176. - Max Black. Il Tractatus del Wittgenstein. Italian translation of XV 210(6) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 177–209. - Max Black. La semiotica di Charles Morris. Italian translation of XV 210(7) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 211–234. - Max Black. La teoria dell'interpretazione di Ogden e Richards. Italian translation of XV 210(8) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 235–249. - Max Black. Questioni riguardanti il significato emotivo. Italian translation of XV 210(9) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 251–278. - Max Black. La semantica generale di Korzybski. Italian translation of XV 210(10) by F. Salvoni. Linguaggio e filosofia, Studi metodologici, by Max Black, Fratelli Bocca Editori, Milan and Rome1953, pp. 279–309.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 407
- Print publication:
- December 1957
-
- Article
- Export citation
Paul Lorenzen. Die Fiktion der Überabzählbarkeit. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, Erven P. Noordhoff N.V., Groningen1956, and North-Holland Publishing Co., Amsterdam 1956, pp. 273–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-369
- Print publication:
- December 1957
-
- Article
- Export citation
Ernest H. Hutten. The mind-body problem. Methodos, vol. 5 (1953), pp. 187–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-400
- Print publication:
- December 1957
-
- Article
- Export citation
H. G. Rice. Recursive and recursively enumerable orders. Transactions of the American Mathematical Society, vol. 83 (1956), pp. 277–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 375
- Print publication:
- December 1957
-
- Article
- Export citation
E. W. Beth. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 (1956), pp. 357–388.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
- Print publication:
- December 1957
-
- Article
- Export citation
Hector Neri Castañeda. La lógica general de las normas y la ética (Esbozo de una teoría). Universidad de San Carlos (Guatemala), no. 30 (for 1954, pub. 1955), pp. 129–196. - Hector Neri Castañeda. Un sistema general de lógica normativa. Diánoia (Mexico City), vol. 3 (1957), pp. 303–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-389
- Print publication:
- December 1957
-
- Article
- Export citation
A. G. Lunc. Algébraičéskié métody analiza i sintéza kontaktnyh shém (Algebraic methods of analysis and synthesis of contact networks), lzvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 16 (1952), pp. 405–426.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- December 1957
-
- Article
- Export citation
Rupert Crawshay-Williams. Equivocal confirmation. Analysis (Oxford), vol. 11 no. 4 (1951), pp. 73–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
- Print publication:
- December 1957
-
- Article
- Export citation
Ronald J. Butler. Language strata and alternative logics. The Australasian journal of philosophy, vol. 33 (1955), pp. 77–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 383
- Print publication:
- December 1957
-
- Article
- Export citation
Paul F. Linke. Eigentliche und uneigentliche Logik. Methodos, vol. 4 (1952), pp. 165–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- December 1957
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
- Print publication:
- December 1957
-
- Article
- Export citation