13629 results in The Journal of Symbolic Logic
L. A. Bokut'. Stépèni nérazréšimosti problémy soprážennosti dlá konéčnooprédélénnyh grupp. Russian original of XXXVII 640. Algébra i logika, vol. 7 no. 5 (1968), pp.4–70, and no. 6 (1968), pp. 4–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-610
- Print publication:
- September 1972
-
- Article
- Export citation
The inconsistency of a certain axiom system for set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-542
- Print publication:
- September 1972
-
- Article
- Export citation
Julia Robinson. Diophantine decision problems. Studies in number theory, edited by W. J. LeVeque, Studies in mathematics, vol. 6, The Mathematical Association of America, Washington, D.C., distributed by Prentice-Hall, Inc., Englewood Cuffs, New Jersey, 1969, pp. 76–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
- Print publication:
- September 1972
-
- Article
- Export citation
Charles K. CobbJr., and Daniel P. Thompson. Law, logic, and rationality. Jurimetrics journal, vol. 11 no. 1 (1970), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- September 1972
-
- Article
- Export citation
Hartley RogersJr., An example in mathematical logic. The American mathematical monthly, vol. 70 (1963), pp. 929–945.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-617
- Print publication:
- September 1972
-
- Article
- Export citation
J. Ridder. Über modale Aussagenlogiken und ihren Zusammenhang mit Strukturen. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), pp. 213–223, 459–467; vol. 56 (1953), pp. 1–11, 99–110, 378–388; vol. 57 (1954), pp. 2–8, 117–128, 389–396; also Indagationes mathematicae, vol. 14 (1952), pp. 213–223, 459–467; vol. 15 (1953), pp. 1–11, 99–110, 378–388; vol. 16 (1954), pp. 2–8, 117–128, 389–396.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
- Print publication:
- September 1972
-
- Article
- Export citation
William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 97–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
- Print publication:
- September 1972
-
- Article
- Export citation
On models with power-like orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-267
- Print publication:
- June 1972
-
- Article
- Export citation
M. J. Cresswell. The interpretation of some Lewis systems of modal logic. The Australasian journal of philosophy, vol. 45 (1967), pp. 198–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-418
- Print publication:
- June 1972
-
- Article
- Export citation
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 (1961), pp. 414–438.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
- Print publication:
- June 1972
-
- Article
- Export citation
Richard T. Cox. Probability, frequency and reasonable expectation. American journal of physics, vol. 14 (1946), pp. 1–13. - Richard T. Cox. The algebra of probable inference. The Johns Hopkins Press, Baltimore1961, x + 114 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-399
- Print publication:
- June 1972
-
- Article
- Export citation
A simplification of combinatory logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-246
- Print publication:
- June 1972
-
- Article
- Export citation
É. A. Polákov. Algébry rékursivnyh funkcij (Algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 1 (1964), pp. 41–56. - É. A. Polákov. O nékotoryh svojstvah algébr rékwsivnyh funkcij (On some properties of algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 39–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
- Print publication:
- June 1972
-
- Article
- Export citation
S. R. Kogalovskij. Strukturnyé haraktéristiki universal'nyh klassov (Structural characteristics of universal classes). Sibirskij matématičéskij žurnal, vol. 4 (1963), pp. 97–119.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
- Print publication:
- June 1972
-
- Article
- Export citation
Announcement: Recursive function theory, newsletter
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 447
- Print publication:
- June 1972
-
- Article
- Export citation
A system of abstract constructive ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-374
- Print publication:
- June 1972
-
- Article
- Export citation
Robert A. DiPaola. Pseudo-complements and ordinal logics based on consistency statements. The journal of symbolic logic, vol. 31 (1966), pp. 359–364. - Robert A. Dipaola. Some properties of pseudo-complements of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 121 (1966), pp. 296–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
- Print publication:
- June 1972
-
- Article
- Export citation
Which number theoretic problems can be solved in recursive progressions on Π11-paths through O?
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-334
- Print publication:
- June 1972
-
- Article
- Export citation
Timothy Smiley. Sense without denotation. Analysis (Oxford), n.s. no. 78 (1960), pp. 125–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 423
- Print publication:
- June 1972
-
- Article
- Export citation
Generalized interpolation theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-351
- Print publication:
- June 1972
-
- Article
- Export citation