13629 results in The Journal of Symbolic Logic
Charles S. Peirce. The new elements of mathematics. Volume III parts 1 and 2. Mathematical miscellanea. Edited by Carolyn Eisele. Mouton Publishers, The Hague and Paris, and Humanities Press, Atlantic Highlands, N.J., 1976, xxxix + 1153 pp. - Charles S. Peirce. The new elements of mathematics. Volume IV. Mathematical philosophy. Edited by Carolyn Eisele. Mouton Publishers, The Hague and Paris, and Humanities Press, Atlantic Highlands, N J., 1976, xxviii + 393 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-708
- Print publication:
- September 1982
-
- Article
- Export citation
Donald Nute. Topics in conditional logic. Philosophical studies series in philosophy, vol. 20. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, x + 164 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-714
- Print publication:
- September 1982
-
- Article
- Export citation
JSL volume 47 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1982
-
- Article
-
- You have access
- Export citation
Paul C. Eklof. Set theoretic methods in homological algebra and Abelian groups. Séminaire de mathématiques supérieures. Les Presses de l'Université de Montréal, Montreal1980, 117 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-702
- Print publication:
- September 1982
-
- Article
- Export citation
Axiomatization of polynomial substitution algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-492
- Print publication:
- September 1982
-
- Article
- Export citation
B. A. Trajtenbrot. Los algoritmos y la resolución automática de problemas. Spanish translation by Bernardo Del Rio Salceda of XXVIII 111(1). Lecciones populares de matemáticas. Editorial Mir, Moscow1977, 109 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, p. 702
- Print publication:
- September 1982
-
- Article
- Export citation
D. S. Bridges. Constructive functional analysis. Research notes in mathematics, no. 28. Pitman Publishing, London, San Francisco, and Melbourne, 1979, iv + 203 pp. - Peter Zahn. Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis. Wissenschaftliche Buchgesellschaft, Darmstadt1978, 350 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-705
- Print publication:
- September 1982
-
- Article
- Export citation
Richard E. Grandy. Advanced logic for applications. Synthese library, vol. 110. D. Reidel Publishing Company, Dordrecht and Boston1977, xiii + 168 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-716
- Print publication:
- September 1982
-
- Article
- Export citation
Australasian annual conference, New South Wales, Australia, 1980
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-718
- Print publication:
- September 1982
-
- Article
- Export citation
Universal diophantine equation
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-571
- Print publication:
- September 1982
-
- Article
- Export citation
S. Shelah. Classification theory and the number of nonisomorphic models. Studies in logic and the foundations of mathematics, vol. 92. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xvi + 544 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-696
- Print publication:
- September 1982
-
- Article
- Export citation
Robert Kowalski. Logic for problem solving. Artificial Intelligence Series, no. 7. Elsevier North Holland, Inc., New York and Oxford1979, xiv + 287 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-478
- Print publication:
- June 1982
-
- Article
- Export citation
JSL volume 47 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1982
-
- Article
-
- You have access
- Export citation
Raymond D. Gumb. Evolving theories. With a foreword by Hugues Leblanc. Haven Publishing Corporation, New York1979, xi + 96 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 454-456
- Print publication:
- June 1982
-
- Article
- Export citation
An effective selection theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-394
- Print publication:
- June 1982
-
- Article
- Export citation
On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-402
- Print publication:
- June 1982
-
- Article
- Export citation
On decomposition of Gödelnumberings into Friedbergnumberings
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-274
- Print publication:
- June 1982
-
- Article
- Export citation
JSL volume 47 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1982
-
- Article
-
- You have access
- Export citation
On the complexity of models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-415
- Print publication:
- June 1982
-
- Article
- Export citation
Index sets and degrees of unsolvability
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-248
- Print publication:
- June 1982
-
- Article
- Export citation