13629 results in The Journal of Symbolic Logic
P. Bernays. Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państowowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 11–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
- Print publication:
- January 1969
-
- Article
- Export citation
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 (1967), pp. 620–622.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- January 1969
-
- Article
- Export citation
Remarks on some theorems of Keisler
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-576
- Print publication:
- January 1969
-
- Article
- Export citation
É. Ú. Zaharova. Ob odnom dostatočnom uslovii polnoty v Pκ (On a sufficient condition for completeness in Pκ). Problémy kibérnétiki, vol. 16 (1966), pp. 239–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- January 1969
-
- Article
- Export citation
R. Montague. Mr. Bradley on the future. Mind, n.s. vol. 69 (1960), pp. 550–554.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
- Print publication:
- January 1969
-
- Article
- Export citation
K. I. Appel. There exist two regressive sets whose intersection is not regressive. The journal of symbolic logic, vol. 32 (1967), pp. 322–324.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-622
- Print publication:
- January 1969
-
- Article
- Export citation
Association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-681
- Print publication:
- January 1969
-
- Article
- Export citation
The inadequacy of Kripke's semantical analysis of D2 and D3
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 568
- Print publication:
- January 1969
-
- Article
- Export citation
E. J. Lemmon. On sentences verifiable by their use. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 86–89. - Jaakko Hintikka. Cogito, ergo sum: inference or performance?The philosophical review, vol. 71 (1962), pp. 3–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
- Print publication:
- January 1969
-
- Article
- Export citation
A. Nerode. Combinatorial series and recursive equivalence types. Fundamenta mathematicae, vol. 58 (1966), pp. 113–141.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-621
- Print publication:
- January 1969
-
- Article
- Export citation
Lynn H. Loomis and Shlomo Sternberg. Advanced calculus. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1963, xi + 580 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-632
- Print publication:
- January 1969
-
- Article
- Export citation
PH. Dwinger. Remarks on the field representations of Boolean algebras. Koninklijke Nederlandse Akademie van Wettenschappen, Proceedings, series A, vol. 63 (1960), pp. 213–217; also Indagationes mathematicae, vol. 22 (1960), pp. 213–217.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- January 1969
-
- Article
- Export citation
Jan Berg. Definitioner av begreppet vyāpti enligt Gaṅgeśa (Definitions of the concept vyāpti according to Gaṅgeśa). Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm1963, pp. 56–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
- Print publication:
- January 1969
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- January 1969
-
- Article
-
- You have access
- Export citation
Degrees of unsolvability of constructible sets of integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-513
- Print publication:
- January 1969
-
- Article
- Export citation
Regional conferences in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-645
- Print publication:
- January 1969
-
- Article
- Export citation
Ú. I. Žuravlév, O različnyh ponátiáh minimal′ nosti dizúnktivnyh normal′nyh form (On various concepts, of minimality for disjunctive normal forms). Sibirskij matématičéskij žurnal vol. 1 (1960), pp. 609–610.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- January 1969
-
- Article
- Export citation
Some undecidable problems involving elementary functions of a real variable
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-520
- Print publication:
- January 1969
-
- Article
- Export citation
Kiyoshi Iséki. Algebraic formulations of propositional calculi. Proceedings of the Japan Academy, vol. 41 (1965), pp. 803–807. - Kiyoshi Iséki. Axiom systems of B-algebra. Proceedings of the Japan Academy, vol. 41 (1965), pp. 808–811. - Kiyoshi Iséki. A characterization of Boolean algebra. Proceedings of the Japan Academy, vol. 41 (1965), pp. 893–897. - Yoshinari Arai and Kiyoshi Iséki. Axiom systems of B-algebra. II. Proceedings of the Japan Academy, vol. 41 (1965), pp. 908–910.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
- Print publication:
- January 1969
-
- Article
- Export citation
H. N. Castaneda. Obligation and modal logic. Logique et analyse, n.s. vol. 3 (1960), pp. 40–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
- Print publication:
- January 1969
-
- Article
- Export citation