13629 results in The Journal of Symbolic Logic
Takeo Sugihara. Negation in many-valued logic. Memoirs of Liberal Arts College, Fukui University, vol. 1 (1952), pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
- Print publication:
- December 1952
-
- Article
- Export citation
A note on the theory of quantification
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- December 1952
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical definitions in the ring of integers. Proceedings of the American Mathematical Society, Bd. 2 (1951), S.279–284.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
- Print publication:
- December 1952
-
- Article
- Export citation
Mary B. Hesse. Boole's philosophy of logic. Annals of science (London), vol. 8 (1952), pp. 61–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
- Print publication:
- December 1952
-
- Article
- Export citation
E. W. Beth. Wijsbegeerte der wiskunde (Philosophy of mathematics). Dutch, with English Summary. Aspecten van de tijd, Een bundel wijsgerige studies, Van Gorcum & Comp., Assen 1950, pp. 181–197, 291–292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
- Print publication:
- December 1952
-
- Article
- Export citation
Eugen Gh. Mihailescu. Cercetǎri asupra subsistemelor calculului propoziţiilor (Researches on sub-systems of the propositional calculus). Roumanian, with abstracts in Russian and French. Studii şi cercetӑri matematice, Academia Republicii Populate Romane, Institutul de Matematica, vol. 2 (1951), pp. 1–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- December 1952
-
- Article
- Export citation
Raphael M. Robinson. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 (1951), S.137–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
- Print publication:
- December 1952
-
- Article
- Export citation
I. I. Zégalkin (I. Gégalkine). Probléma razréšimosti na konéčnyh klassah (Sur le problème de la résolubilité pour les classes finies). Russian with French abstract. Moskovskij Gosudarstvénnyj Univérsitét, Učényé zapiski, no. 100 (Matématika, vol. 1) (1946), pp. 155–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
- Print publication:
- December 1952
-
- Article
- Export citation
Arne Næss. Inføring i logikk og metodelære (Introduction to logic and methodology). Filosofiske problemer no. 14. Second edition, mimeographed. Studentforlaget, Oslo 1951, IV + 181 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1952
-
- Article
- Export citation
JSL volume 17 issue 4 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- December 1952
-
- Article
-
- You have access
- Export citation
Konrad Marc-Wogau.. Modern logik. Elementär lärobok. (Modern logic. An elementary text-book.) Ehlins Handböcker, Stockholm 1950, 211 pp. [With separate sheet of Rättelser (Corrections).]
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1952
-
- Article
- Export citation
Alfred L. Foster, pk-rings and ring-logics. Annali delta Scuola Normale Superiore di Pisa, Scienze fisiche e matematiche, ser. 3 vol. 5 (1951), pp. 279–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 279
- Print publication:
- December 1952
-
- Article
- Export citation
Wilton R. Abbott. Computing logical truth with the California Digital Computer. Mathematical tables and other aids to computation, vol. 5 (1951), pp. 120–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-281
- Print publication:
- December 1952
-
- Article
- Export citation
G. Hasenjaeger. Über ω-Unvollständigkeit in der Peano-Arithmelik. The journal of symbolic logic, vol. 17 (1952), pp. 81–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
- Print publication:
- December 1952
-
- Article
- Export citation
The permutability of rules in the classical inferential calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-248
- Print publication:
- December 1952
-
- Article
- Export citation
Arne Næss. En del elementære logiske emner (Some elementary logical topics). Eighth edition. Universitetets Studentkontor, Oslo 1950, 118 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1952
-
- Article
- Export citation
Arne Næss. Nokre elementære logiske emne (Some elementary logical topics). 1. nynorske utg. Mimeographed. Universitetets Studentkontor, Oslo 1949, 91 pp. - E. J. E. Huffer. Logistiek en wetenschapsleer (Logistic and methodology of science). Tijdschrift voor philosophie, vol. 11 (1949), pp. 100–116. - R. Feys. Logica en wijsbegeerte van de wiskunde (Logic and philosophy of mathematics). Tijdschrift voor philosophie, vol. 13 (1951), pp. 303–314. - John Oulton Wisdom. Foundations of inference in natural science. Methuen & Co., London 1952, x + 240 pp. - Charles E. Bures. A critique of Hayakawa's ‘Language in thought and action.’ ETC.: A review of general semantics, vol. 9 no. 1 (1951), pp. 35–43. - S. I. Hayakawa. Reply to Professor Bures. ETC.: A review of general semantics, vol. 9 no. 1 (1951), pp. 43–50. - Anonymous. Inexhaustible. The New Yorker, 08 23, 1952, pp. 13–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- December 1952
-
- Article
- Export citation
Andrzej Mostowski. A classification of logical systems. Studia philosophica (Poznań), vol. 4 (for 1949–50, pub. 1951), pp. 237–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
- Print publication:
- December 1952
-
- Article
- Export citation
A. V. Kuznécov. O primitivno rékursivnyh funkciáh bol'šogo razmaha (Über umfangsreiche primitiv-rekursive Funktionen). Doklady Akadémii Nauk SSSR, Bd. 71 (1950), S.233–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
- Print publication:
- December 1952
-
- Article
- Export citation
George W. Patterson. Logical syntax and transformation rules. Proceedings of a Second Symposium on Large-Scale Calculating Machinery (Cambridge, Mass., September 13–16, 1949), Harvard University Press, Cambridge, Mass., 1951, pp. 125–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 4 / December 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 280
- Print publication:
- December 1952
-
- Article
- Export citation