23 results
Max Black. Introduction. A reprint of XVI 298(1). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 1–13. - Alice Ambrose. The problem of linguistic inadequacy. A reprint of XVI 298(2). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 14–35. - A. J. Ayer. Basic propositions. A reprint of XVI 299(1). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 57–70. - Roderick M. Chisholm. The theory of appearing. A reprint of XVI 299(2). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 97–112. - Herbert Feigl. De principiis non disputandum...? On the meaning and the limits of justification. A reprint of XVI 299(3). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 113–147. - Morris Lazerowitz. Substratum. A reprint of XVI 299(4). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 166–182. - C. Lewy. Entailment and necessary propositions. A reprint of XVI 299(5). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 183–197. - Norman Malcolm. The verification argument. A reprint of XVI 300(1). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 229–279. - Paul Marhenke. Phenomenalism. A reprint of XVI 300(2). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 280–301. - Gilbert Ryle. “If,” “so,” and “because.” A reprint of XVI 300(3). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 302–318. - Frederick L. Will. Generalization and evidence. A reprint of XVI 300(4). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 359–386. - John Wisdom. A note on probability. A reprint of XVI 301(1). Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 387–393.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 675-676
- Print publication:
- December 1966
-
- Article
- Export citation
J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), p. 311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Patrick Suppes. Mathematical logic for the schools. The arithmetic teacher, vol. 9 (1962), pp. 396–399. - Patrick Suppes and Frederick Binford. Experimental teaching of mathematical logic in the elementary school. The arithmetic teacher, vol. 12 (1965), Pp. 187–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
- Print publication:
- 09 October 1967
-
- Article
- Export citation
M. I. Kratko. Formal′nyé isčisléniá posta i konéčnyé automaty (Formal Post calculi and finite automata). Problémy kibérnétiki, Vol. 17 (1966), pp. 41–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Frederick Binford. Solutions to the exercises in First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, ix + 173 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-416
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Leon Henkin and Alfred Tarski. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Patrick Suppes and Shirley Hill. First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, ix + 274 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
- Print publication:
- 09 October 1967
-
- Article
- Export citation
M. I. Kargapolov. Ob eléméntarnoj téorii struktur podgrupp (On the elementary theory of lattices of subgroups). Algébra i logika, Séminar, vol. 1 no. 3 (1962), pp. 46–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
- Print publication:
- August 1967
-
- Article
- Export citation
Allan Lytel. abc's of Boolean algebra. Howard W. Sams & Co., Inc., Indianapolis, and The Bobbs-Merrill Company, Inc., New York, 1963, 112 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
- Print publication:
- June 1967
-
- Article
- Export citation
Federal Electric Corporation. Boolean algebra. A self-instructional programed manual. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1966, ix + 246 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- June 1967
-
- Article
- Export citation
Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. Third edition of VI 30. Oxford University Press, New York1965, viii + 252 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
- Print publication:
- December 1966
-
- Article
- Export citation
Alan Cobham. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 391–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- December 1966
-
- Article
- Export citation
A. G. Lunc. Mnogopolúsniki, sodéržaščié zamykaúščié kontakty vnutrénnih rélé (Multiterminal networks containing the closing contacts of internal relays). Doklady Akadémii Nauk SSSR, vol. 165 (1965), pp. 47–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
- Print publication:
- December 1966
-
- Article
- Export citation
Bertrand Russell. Bertrand Russell's dictionary of mind, matter and morals. Edited, with an Introduction by Lester E. Denonn. Philosophical Library, New York1952, xiv + 290 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1966
-
- Article
- Export citation
Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá. (Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 295–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
- Print publication:
- 02 September 1966
-
- Article
- Export citation
László Kalmár. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 (1959), pp. 42–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
- Print publication:
- 02 September 1966
-
- Article
- Export citation