13630 results in The Journal of Symbolic Logic
Rolf Schock. Logics without existence assumptions. Almqvist & Wiksell, Stockholm1968, 134 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 424
- Print publication:
- June 1972
-
- Article
- Export citation
V. I. Amstislavskij. Téorétiko-množéstvénnyé operacii i rékursivnyé iérarhii. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 995–998. - V. I. Amstislavskij. Set-theoretical operations and recursive hierarchies. English translation of the preceding by E. Wesley. Soviet mathematics, vol. 7 no. 4 (1966), pp. 1029–1032. - V. I. Amstislavskij. Rasširénié rékursivnyh iérarhij i R-opéracii. Doklady Akadémii Nauk SSSR, vol. 180 (1968), pp. 1023–1026. - V. I. Amstislavskij. Expansion of recursive hierarchies and R-operations. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 9 no. 3 (1968), pp. 703–706. - V. I. Amstislavskij. O razložénii téla množéstv, polučaémyh R-opéraciéj nad rékursivnymi množéstvami. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 743–746. - V. I. Amstislavskij. On the decomposition of a field of sets obtained by an R-operation over recursive sets. English translation of the preceding by S. Shepherd. Soviet mathematics, vol. 11 no. 2 (1970), pp. 419–422. - V. I. Amstislavskij. Efféktivnyé R-množéstva i transfinitnyé prodolžéniá rékursivnyh iérarhij (Effective R-sets and transfinite extensions of recursive hierarchies). Fundamenta mathematicae, vol. 68 no. 1 (1970), pp. 61–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
- Print publication:
- June 1972
-
- Article
- Export citation
Ian Hacking. What is strict implication?The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 51–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
- Print publication:
- June 1972
-
- Article
- Export citation
Nuel D. BelnapJr., An analysis of questions: Preliminary report. Technical Memorandum 1287, System Development Corporation, Santa Monica1963, 160 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
- Print publication:
- June 1972
-
- Article
- Export citation
S. R. Kogalovskij. O kvaziproéktivnyh klassah modéléj. Russian original of XXXVII 428. (On universal classes of algebras). Doklady Akadémii Nauk SSSR, vol. 148 (1963), pp. 505–507.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 401
- Print publication:
- June 1972
-
- Article
- Export citation
John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251. - John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 (1970), pp. 129–151.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
- Print publication:
- June 1972
-
- Article
- Export citation
Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 (1970), pp. 200–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
- Print publication:
- June 1972
-
- Article
- Export citation
J. C. E. Dekker. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp.
-
- 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
J. KnoxJr., Material implication and “if… then.”International logic review—Rassegna Internazionale di logica (Bologna), vol. 2 no. 3 (1971), pp. 90–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
- Print publication:
- March 1972
-
- Article
- Export citation
Nicholas Rescher. On the formalization of two modal theses. Notre Dame journal of formal logic, vol. 2 (1961), pp. 154–157.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
- Print publication:
- March 1972
-
- Article
- Export citation
A. Markov. O nérazréšimosti nékotoryh problém topologii (On the unsolvability of some problems in topology). Doklady Akadémii Nauk SSSR, vol. 123 (1958), pp. 978–980.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- March 1972
-
- Article
- Export citation
A transfinite sequence of ω-models
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-102
- Print publication:
- March 1972
-
- Article
- Export citation
V. I. Šéstakov. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, pp. 341–376. - V. I. Šestakov. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 45–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- March 1972
-
- Article
- Export citation
Omitting types: application to recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-89
- Print publication:
- March 1972
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-223
- Print publication:
- March 1972
-
- Article
- Export citation
N. V. Belyakin. A certain class of Türing machines. English translation of XXXVII 211. Soviet physics, Doklady, vol. 8 no. 1 (1963), pp. 3–4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
- Print publication:
- March 1972
-
- Article
- Export citation
Describing ordinals using functionals of transfinite type
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-47
- Print publication:
- March 1972
-
- Article
- Export citation
Computational speed-up by effective operators1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-68
- Print publication:
- March 1972
-
- Article
- Export citation
Nonrecursive combinatorial functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-95
- Print publication:
- March 1972
-
- Article
- Export citation
Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
- Print publication:
- March 1972
-
- Article
- Export citation