13629 results in The Journal of Symbolic Logic
JSL volume 44 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1979
-
- Article
-
- You have access
- Export citation
Bangs L. Tapscott. Elementary applied symbolic logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1976, xii + 496 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
- Print publication:
- June 1979
-
- Article
- Export citation
Reducibilities in two models for combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-234
- Print publication:
- June 1979
-
- Article
- Export citation
The relative expressive power of some logics extending first-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-146
- Print publication:
- June 1979
-
- Article
- Export citation
Ramsey cardinals and constructibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-266
- Print publication:
- June 1979
-
- Article
-
- You have access
- Export citation
Recursion in a quantifier vs. elementary induction1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-259
- Print publication:
- June 1979
-
- Article
- Export citation
On uniqueness of prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-220
- Print publication:
- June 1979
-
- Article
- Export citation
J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, x + 531 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
- Print publication:
- June 1979
-
- Article
- Export citation
Jean-François Pabion. Logique mathématique. Collection méthodes. Hermann, Paris1976, xxxii + 263 pp. - Marcel Guillaume. Préface. Therein, pp. xiii–xxxii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
- Print publication:
- June 1979
-
- Article
- Export citation
Some model theory for game logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-152
- Print publication:
- June 1979
-
- Article
- Export citation
On the semantics of the Henkin quantifier
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-200
- Print publication:
- June 1979
-
- Article
- Export citation
JSL volume 44 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1979
-
- Article
-
- You have access
- Export citation
C. V. Negoiţӑ and D. A. Ralescu. Applications of fuzzy sets to systems analysis. Revised English translation of Mulţimi vagi şi aplicaţiile lor. A Halsted Press Book, John Wiley & Sons, New York and Toronto1975, 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-286
- Print publication:
- June 1979
-
- Article
- Export citation
I. Grattan-Guinness. Dear Russell—dear Jourdain. A commentary on Russell's logic, based on his correspondence with Philip Jourdain. Columbia University Press, New York, and Duckworth, London, 1977, vi + 234 pp. - Bertrand Russell. On the axioms of the infinite and of the transfinite. Therein, pp. 162–174. (A translation, with added footnotes, by I. Grattan-Guinness of Sur les axiomes de I'infini et du iransfini, Société Mathématique de France, Comptes rendus des séances, no. 2 (1911), pp. 22–35.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- June 1979
-
- Article
- Export citation
Sheaves and Boolean valued model theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-183
- Print publication:
- June 1979
-
- Article
- Export citation
An application of invariant sets to global definability1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 9-14
- Print publication:
- March 1979
-
- Article
- Export citation
Algebraically closed commutative local rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-94
- Print publication:
- March 1979
-
- Article
- Export citation
LA(Ⅎ)
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-28
- Print publication:
- March 1979
-
- Article
- Export citation
JSL volume 44 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1979
-
- Article
-
- You have access
- Export citation
Christian Thiel. Einleitung. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 1–4. - Ignacio Angelelli. Freges Ort in der Begriffsgeschichte. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 9–22. - Egon Börger. Das Problem der Begründung der Mathematik bei Frege im Lichte des gegenwartigen Standes der mathematischen Grundlagenforschung. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 23–32. - Peter Hinst. Hätte Frege ohne Wertverlaufsfunktion auskommen können?Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 33–51. - Walter Hoering. Logizismus gestern und heute. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 52–61. - Walter Hoering. Zum Widerspruch in Freges System. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 62–65. - Friedrich Kambartel. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 77–89. - Klaus Mainzer. Zur Begründung von Freges analytischen Begriffen 2. Stufe in konstruktiver Absicht. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 90–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-121
- Print publication:
- March 1979
-
- Article
- Export citation