13629 results in The Journal of Symbolic Logic
Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
- Print publication:
- February 1970
-
- Article
- Export citation
An Abstract form of the church-rosser theorem. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-560
- Print publication:
- February 1970
-
- Article
-
- You have access
- Export citation
A. I. Omarov. O kompaktnyh klassah modéléj (On compact classes of models). Algébra i logika, Séminar, vol. 6 no. 2 (1967), pp. 49–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
- Print publication:
- February 1970
-
- Article
- Export citation
Symposium on mathematical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- February 1970
-
- Article
- Export citation
M. Greniewski. Algebry (m + n)-elementowe i ich zastosowania do układów przekaźnikowo-stykowych ((m + n)-element algebras and their applications to relay-contact systems). Polish, with Russian and English summaries. Zastosowania matematyki, vol. 4 no. 2 (1958), pp. 142–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-659
- Print publication:
- February 1970
-
- Article
- Export citation
Roger C. Lyndon. Metamathematics and algebra: An example. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford 1962, pp. 143–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- February 1970
-
- Article
- Export citation
H. Jerome Keisler. Theory of models with generalized atomic formulas. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 1–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 651
- Print publication:
- February 1970
-
- Article
- Export citation
Leon W. Cohen and Gertrude Ehrlich. The structure of the real number system. D. Van Nostrand Company, Princeton, Toronto, New York, and London, 1963, viii + 116 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 642-643
- Print publication:
- February 1970
-
- Article
- Export citation
Finite sets in Quine's new foundations1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-596
- Print publication:
- February 1970
-
- Article
- Export citation
E. W. Beth. On machines which prove theorems. Simon Stevin, vol. 32 (1958), pp. 49–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
- Print publication:
- February 1970
-
- Article
- Export citation
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 650
- Print publication:
- February 1970
-
- Article
- Export citation
Manuel Blum. A Machine-independent theory of the complexity of recursive functions. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 322–336.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-658
- Print publication:
- February 1970
-
- Article
- Export citation
Harvey Gerber. An extension of Schütte´s Klammer-symbols. Mathematische Annalen, vol. 174 (1967), pp. 203–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- February 1970
-
- Article
- Export citation
Abstract Computability and Invariant Definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-633
- Print publication:
- February 1970
-
- Article
- Export citation
Robert McNaughton. Automata, formal languages, abstract switching, and computability in a Ph. D. computer science program. Communications of the ACM, vol. 11 (1968), pp. 738–740, 746.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
- Print publication:
- February 1970
-
- Article
- Export citation
John E. Llewelyn. What is a question? The Australasian journal of philosophy, vol. 42 (1964), pp. 69–85.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-645
- Print publication:
- February 1970
-
- Article
- Export citation
Compactification of groups and rings and nonstandard analysis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-588
- Print publication:
- February 1970
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-745
- Print publication:
- February 1970
-
- Article
- Export citation
Sheila Greibach. A new normal-form theorem for context-free phrase structure grammars. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 42–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
- Print publication:
- February 1970
-
- Article
- Export citation
Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
- Print publication:
- February 1970
-
- Article
- Export citation