13629 results in The Journal of Symbolic Logic
Extending Gödel's negative interpretation to ZF
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-229
- Print publication:
- June 1975
-
- Article
- Export citation
Robert A. Dipaola. Random sets in subrecursive hierarchies. Journal of the Association for Computing Machinery, vol. 16 (1969), pp. 621–630.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
- Print publication:
- June 1975
-
- Article
- Export citation
C. L. Hamblin. The effect of when it's said. Theoria, vol. 36 (for 1970, pub. 1971), pp. 249–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- June 1975
-
- Article
- Export citation
Giorgio Ausiello. Abstract computational complexity and cycling computations. Journal of computer and system sciences, vol. 5 (1971), pp. 118–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
- Print publication:
- June 1975
-
- Article
- Export citation
Evert W. Beth. Preface. English translation of XL 256(1). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. XI–XIII. - Evert W. Beth. Science as a cultural factor. English translation of XL 256(2). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 1–10. - Evert W. Beth. Natural science, philosophy, and persuasion. English translation of XL 256(3). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 11–20. - Evert W. Beth. Scientific philosophy: its aims and means. English translation of XL 256(4). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 29–34. - Evert W. Beth. Symbolic logic as a continuation of traditional formal logic. English translation of XL 256(5). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 42–61. - Evert W. Beth. Science a road to wisdom. English translation of XL 256(6). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 69–75. - Evert W. Beth. Modernism in science. English translation of XL 256(7). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 76–85. - Evert W. Beth. In retrospect. English translation of XL 256(8). Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 95–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-298
- Print publication:
- June 1975
-
- Article
- Export citation
Luís Neves Real. Kurt Gödel e os problemas dos fundamentos da matemática e a teoria dos conjuntos. Gazeta de matemdtica, vol. 12 no. 48 (1951), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
- Print publication:
- June 1975
-
- Article
- Export citation
Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 (for 1970, pub. 1971), pp. 535–555.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
- Print publication:
- June 1975
-
- Article
- Export citation
Two forms of the axiom of choice for an elementary topos
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-212
- Print publication:
- June 1975
-
- Article
- Export citation
JSL volume 40 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1975
-
- Article
-
- You have access
- Export citation
Dana Scott. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by E. Engeler, Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
- Print publication:
- June 1975
-
- Article
- Export citation
J. Hartmanis and J. E. Hopcroft. What makes some language theory problems undecidable. Journal of computer and system sciences, vol. 4 (1970), pp. 368–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
- Print publication:
- June 1975
-
- Article
- Export citation
Bertrand russell memorial logic conference £200 essay prize
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- June 1975
-
- Article
- Export citation
Independent Gödel sentences and independent sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-166
- Print publication:
- June 1975
-
- Article
- Export citation
Ian Hacking. Logic of statistical inference. Cambridge University Press, Cambridge1965, ix + 232 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1975
-
- Article
- Export citation
Gottfried Köthe. Sobre a não contradição da matemática. Gazeta de matemdtica, vol. 15 no. 58 (1954), pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
- Print publication:
- June 1975
-
- Article
- Export citation
James E. Tomberlin. Existence attributes: a second look. The review of metaphysics, vol. 24 no. 4 (1971), pp. 737–738.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
- Print publication:
- June 1975
-
- Article
- Export citation
James E. Tomberlin. The sea battle tomorrow and fatalism. Philosophy and phenomenological research, vol. 31 no. 3 (1971), pp. 352–357.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
- Print publication:
- June 1975
-
- Article
- Export citation
Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 289–290. - Haim Gaifman. A note on models and submodels of arithmetic. Conference in mathematical logic—London '70, edited by Wilfrid Hodges, Lecture notes in mathematics, no. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, pp. 128–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
- Print publication:
- June 1975
-
- Article
- Export citation
Maria Luisa Dalla Chiara Scabia. Modelli sintattici e semantici delle teorie elementari. Feltrinelli Editore, Milan1968, 240 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
- Print publication:
- June 1975
-
- Article
- Export citation
Raymond M. Smullyan. First-order logic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 43, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, XII + 158 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
- Print publication:
- June 1975
-
- Article
- Export citation