13629 results in The Journal of Symbolic Logic
Robert P. McArthur. Tense logic. Synthese library, vol. 111. D. Reidel Publishing Company, Dordrecht and Boston1976, vii + 84 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- March 1980
-
- Article
- Export citation
On r.e. and co-r.e. vector spaces with nonextendible bases
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 20-34
- Print publication:
- March 1980
-
- Article
- Export citation
Max Black. The logical paradoxes. Caveats and critiques, Philosophical essays in language, logic, and art, by Max Black, Cornell University Press, Ithaca and London1975, pp. 72–84. (Reprinted with altered title from L'age de la science, vol. 3 (1970), pp. 91-99.) - Max Black. The elusiveness of sets. A reprint of XXXIX 170. Caveats and critiques, Philosophical essays in language, logic, and art, by Max Black, Cornell University Press, Ithaca and London1975, pp. 85Ά#x2013;108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
- Print publication:
- March 1980
-
- Article
- Export citation
Minimal forms in λ-cakulus computations
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-171
- Print publication:
- March 1980
-
- Article
- Export citation
Precipitous ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-8
- Print publication:
- March 1980
-
- Article
- Export citation
Hubert C. Kennedy, Biographical sketch of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 3–10. - Hubert C. Kennedy. Chronological list of the publications of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 11–29. - Hubert C. Kennedy. Bibliography on the life and works of Giuseppe Peano. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 30–33. - Giuseppe Peano. The operations of deductive logic. English translation of introductory chapter of 711. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 75–90. - Giuseppe Peano. The principles of arithmetic, presented by a new method (1889). English translation of 712. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 101–134. - Giuseppe Peano. The principles of mathematical logic (1891). English translation of 715. Selected works of Giuseppe Peano, translated and edited with a biographical sketch and bibliography by Hubert C. Kennedy, University of Toronto Press, Toronto and Buffalo1973, pp. 153–162. - Giuseppe Peano. The most general question in the mathematical sciences (1896). English translation of a reply to question no. 719, L'intermédiaire des mathématiciens, vol. 3 (1896), p. 169. Ibid., p. 189. - Giuseppe Peano. Studies in mathematical logic (1897). English translation of 7124. L'intermédiaire des mathématiciens, vol. 3 (1896), pp. 190–205. - Giuseppe Peano. Supplement to ‘On the Cantor–Bernstein theorem' (1906). English translation of 7144. L'intermédiaire des mathématiciens, vol. 3 (1896), pp. 206–218. - Giuseppe Peano. On the foundations of analysis (1910). English translation of 7146. L'intermédiaire des mathématiciens, vol. 3 (1896), pp. 219–226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-180
- Print publication:
- March 1980
-
- Article
- Export citation
A cut-free Gentzen-type system for the modal logic S51
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-84
- Print publication:
- March 1980
-
- Article
- Export citation
Definability in models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 9-19
- Print publication:
- March 1980
-
- Article
- Export citation
Chains and antichains in
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-92
- Print publication:
- March 1980
-
- Article
- Export citation
Decomposition of totally transcendental modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-164
- Print publication:
- March 1980
-
- Article
- Export citation
Two-dimensional partial orderings: Undecidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-143
- Print publication:
- March 1980
-
- Article
- Export citation
Model companions and k-model completeness for the complete theories of Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-55
- Print publication:
- March 1980
-
- Article
- Export citation
JSL volume 45 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1980
-
- Article
-
- You have access
- Export citation
Finite forcing, existential types and complete types
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-102
- Print publication:
- March 1980
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
- Print publication:
- March 1980
-
- Article
- Export citation
P. T. Geach. Reason and argument. University of California Press, Berkeley and Los Angeles1977 (© 1976), xi + 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-187
- Print publication:
- March 1980
-
- Article
- Export citation
Game sentences, recursive saturation and definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-46
- Print publication:
- March 1980
-
- Article
- Export citation
JSL volume 45 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1980
-
- Article
-
- You have access
- Export citation
A note on cardinal exponentiation
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-66
- Print publication:
- March 1980
-
- Article
- Export citation
Martin's axiom in the model theory of LA
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-176
- Print publication:
- March 1980
-
- Article
- Export citation