13629 results in The Journal of Symbolic Logic
Ferdinand Gonseth. Les Mathématiques et la réalité. Essai sur la méthode axiomatique. A reprint of II 45. Librairie scientifique et technique. Albert Blanchard, Paris1974, xi + 386 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 634-635
- Print publication:
- September 1980
-
- Article
- Export citation
Leônidas Hegenberg. Lógica. 0 cálculo de predicados. Editora Herder, Editora da Universidade de São Paulo, São Paulo1973, XI + 226 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 632-633
- Print publication:
- September 1980
-
- Article
- Export citation
Decidability and ℵ0-categoricity of theories of partially ordered sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 585-611
- Print publication:
- September 1980
-
- Article
- Export citation
Donald W. Loveland. Automated theorem proving. A logical basis. Fundamental studies in computer science, vol. 6. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xiii + 405 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-630
- Print publication:
- September 1980
-
- Article
- Export citation
Degree problems for modular machines
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-528
- Print publication:
- September 1980
-
- Article
- Export citation
Peter J. Denning, Jack B. Dennis, and Joseph E. Qualitz. Machines, languages, and computation. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1978, xxii + 601 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
- Print publication:
- September 1980
-
- Article
- Export citation
JSL volume 45 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1980
-
- Article
-
- You have access
- Export citation
The 1-section of a countable functional
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-562
- Print publication:
- September 1980
-
- Article
- Export citation
JSL volume 45 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1980
-
- Article
-
- You have access
- Export citation
Models and reality1
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-482
- Print publication:
- September 1980
-
- Article
- Export citation
Model constructions in stationary logic. Part I. Forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-454
- Print publication:
- September 1980
-
- Article
- Export citation
A result of relative consistency about the predicate WO(δ, x)
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-492
- Print publication:
- September 1980
-
- Article
- Export citation
Sue Toledo. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-638
- Print publication:
- September 1980
-
- Article
- Export citation
A consistent combinatory logic with an inverse to equality
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-543
- Print publication:
- September 1980
-
- Article
- Export citation
Ilmar Tammelo. Modern logic in the service of law. Springer-Verlag, Vienna and New York1978, xviii + 175 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-634
- Print publication:
- September 1980
-
- Article
- Export citation
Independence of strong partition relation for small cardinals, and the free-subset problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-509
- Print publication:
- September 1980
-
- Article
- Export citation
Cardinalities of ultraproducts of finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-584
- Print publication:
- September 1980
-
- Article
- Export citation
Model theory of strictly upper triangular matrix rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-463
- Print publication:
- September 1980
-
- Article
- Export citation
H. G. Bohnert. Logic: its use and basis. University Press of America, Washington, D.C., 1977, vi + 383 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, p. 633
- Print publication:
- September 1980
-
- Article
- Export citation
Recursively enumerable complexity sequences and measure independence
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-438
- Print publication:
- September 1980
-
- Article
- Export citation