596 results on '"Alonzo Church"'
Search Results
202. Garrett Birkhoff. Lattice theory. Revised edition. American Mathematical Society Colloquium publications, vol. 25. American Mathematical Society, New York1948, xiii + 283 pp
203. M. H. Stone. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society, vol. 40 (1936), pp. 37–111
204. Richard B. Hurley. Transistor logic circuits. John Wiley & Sons, Inc., New York and London1961, xvi + 363 pp
205. Hansi Piesch. Begriff der allgemeinen Schaltungstechnik. Archiv für Elektrotechnik, vol. 33 (1939), pp. 672–686. - Hansi Piesch. Über die Vereinfachung von allgemeinen Schaltungen. Archiv für Elektrotechnik, vol. 33 (1939), pp. 733–746
206. Johann Jakob Burckhardt. Zur Neubegründung der Mengenlehre. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 48 (1938), pp. 146–165
207. Motinori Gotô. Application of logical mathematics to the theory of relay networks. The Japan science review, vol. 1 no. 3 (1950), pp. 35–42
208. G. H. v. Wright. On the idea of logical truth (I). Societas Scientarum Fennica, Commentationes physico-mathematicae, vol. 14 no. 4. Helsingfors1948, 20 pp. - G. H. von Wright. Form and content in logic. An inaugural lecture delivered on 26 May 1949 in the University of Cambridge. University Press, Cambridge1949, 35 pp
209. Leonard Linsky. On using inverted commas. Methodos, vol. 2 no. 6–7 (1950), pp. 232–236
210. Luitgard Wundheiler and Alex Wundheiler. Some logical concepts for syntax. Machine translation of languages, Fourteen essays, edited by William N. Locke and A. Donald Booth, John Wiley & Sons, New York1955 (co-published with The Technology Press), pp. 194–207
211. Paul Finsler. Gibt es unentscheidbare Sätzei Commentarii mathematici Helvetici, vol. 16 no. 4 (1944), pp. 310–320
212. W. V. Quine. A theorem on parametric Boolean functions. U.S. Air Force Project RAND, RM–196, 27 071949, 4 pp. - W. V. Quine. Commutative Boolean functions. U.S. Air Force Project RAND, RM–199, 10 081949, 5 pp. - W. V. Quine. On functions of relations, with especial reference to social welfare. U.S. Air Force Project RAND, RM–218, 19 081949, 15 pp. - S. C. Kleene. Representation of events in nerve nets and finite automata. U.S. Air Force Project RAND, RM–704, 15 121951, ii + 98 pp
213. Paul Lévy. Axiome de Zermelo et nombres transfinis. Annates scientifigues de l'École Normale Supérieur, ser. 3 vol. 67 (1950), pp. 15–49
214. David Rynin. Introduction. A treatise on language, by Alexander Bryan Johnson, edited by David Rynin, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, pp. 1–25
215. Alfred Tarski. The semantic conception of truth and the foundations of semantics. A reprint of IX 68 (with omission of the Spanish abstract). Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 13–47. - C. I. Lewis. The modes of meaning. A reprint of IX 28 (with omission of the Spanish abstract). Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 50–63. - Nelson Goodman. On likeness of meaning. A revision of XV 150(2). Semantics and the philosophy of language, A collection of readings, edited by Leonard Linsky, The University of Illinois Press, Urbana1952, pp. 67–74
216. R. M. Martin. Some comments on truth and designation. Analysis (Oxford), vol. 10 no. 3 (1950), pp. 63–67. - P. T. Geach. Designation and truth—a reply. Analysis (Oxford), vol. 10 no. 5 (1950), pp. 118–119
217. P. T. Geach. Designation and truth. Analysis, vol. 8 no. 6 (n. s. no. 6) (1948), pp. 93–96
218. Claro C. Dassen. Sobre una objeción a la Lógica Brouweriana. Anales de la Academia Nacional de Ciencias Exactas, Físicas y Naturales de Buenos Aires, vol. 4 (1939) pp. 7–20
219. Reviews - Ludovico Getmonat. Difficoltà del concetto di 'insieme.'Analysis (Milan), vol. 2 no. 1 (1947), pp. 40–44
220. John E. Freund. Statistical vs. pragmatic inference. Philosophy of science, vol. 16 (1949), pp. 142–147. - Thomas A. Cowan. A note on Churchman's 'Statistics, pragmatics, induction.'Philosophy of science, vol. 16 (1949), pp. 148–150. - C. West Churchman. Reply to comments on 'Statistics, pragmatics, induction.'Philosophy of science, vol. 16 (1949), pp. 151–153
221. B. Levi. A propósito de la Nota del Dr. Pi Calleja. Sobre paradojas lógicas y principio del tertium non datur. Mathematicae notae, vol. 9 (1949), pp. 155–159
222. Karel Lambert. Existential import revisited. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 288–292
223. A. G. N. Flew. Introduction. Essays on logic and language, edited and with an introduction by Antony Flew, Basil Blackwell, Oxford 1951, and Philosophical Library, New York 1951, pp. 1–10. - Gilbert Ryle. Systematically misleading expressions. Essays on logic and language, edited and with an introduction by Antony Flew, Basil Blackwell, Oxford 1951, and Philosophical Library, New York 1951, pp. 11–36. - Friedrich Waismann. Verifiability. Essays on logic and language, edited and with an introduction by Antony Flew, Basil Blackwell, Oxford 1951, and Philosophical Library, New York 1951, pp. 117–144. (Reprint of XII 101(2), with some modifications.)
224. Ivo Thomas. Logic and theology. Dominican studies (Oxford), vol. 1 no. 4 (1948). Offprint, 22 pp
225. Hans G. Herzberger. The truth-conditional consistency of natural languages. The journal of philosophy, vol. 64 (1967), pp. 29–35
226. Ettore Carruccio. Considerazioni sulla compatibilità di un sislema di postulati e sulla dimtatrabilità delle formule mathematiche. Pontificia Academia Scientiarum, Acta, vol. 10 no. 2 (1948), pp. 21–41
227. Hans Freudenthal. Analyse mathématique de certaines structures linguistiques. Folia biotheoretica, vol. 5 (1960), pp. 81–89; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960, pp. 81–89. - P. Bernays. H. Freudenthal, F. Gonseth, M. Fréchet, J. Ladrière, B. Segre. Discussion. Folia biotheoretica, vol. 5 (1960), pp. 89–95; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960b, pp. 89–95
228. Gerard P. Minoque. The three fundamental laws of thought in their metaphysical and logical aspects. Proceedings of the American Catholic Philosophical Association, vol. 21 (for 1946, pub. 1947), pp. 83–92
229. I. M. Bochenski. On the categorical syllogism. Dominican studies (Oxford), vol. 1 (1948), pp. 35–57
230. Garrett Birkhoff. An extended arithmetic. Duke mathematical journal, vol. 3 (1937), pp. 311–316. - Garrett Birkhoff. Generalized arithmetic. Duke mathematical journal, vol. 9 (1942), pp. 283–302
231. Max Black. A translation of Frege's Ueber Sinn und Bedeutung. Introductory note. The philosophical review, vol. 57 (1948), pp. 207–208
232. Clifford G. Kossel. The problem of relation in some non-Scholastic philosophies. The modern Schoolmen, vol. 23 no. 2 (1946), pp. 61–81
233. Rollo Handy and Paul Kurtz. A current appraisal of the behavioral sciences. Behavioral Research Council, Great Barrington, Mass., 1964, ii + 154 pp
234. Willard V. Quine. Whitehead and the rise of modern logic. The philosophy of Alfred North Whitehead, edited by Paul Arthur Schilpp, Northwestern University, Evanston and Chicago1941, pp. 127–163
235. Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153
236. Sze-Tsen Hu. Threshold logic. University of California Press, Berkeley and Los Angeles1965, xiv + 338 pp
237. Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 71–89. - Mihail Cherciu. Filtres de Stone dans les treillis distributifs. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 91–97. - George Georgescu. Les algèbres de Lukasiewicz θ-valentes. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 99–169. - Ioana Petrescu. Algèbres de Morgan injectives. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 171–176. - Luminita State. Quelques propriétés des algebres de Morgan. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 195–207
238. M. J. Charlesworth. Analytical philosophy. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 470–473
239. Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, p. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 124–125. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 127–128
240. Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9
241. G. L. Farre. Boole, George. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 4, p. 701
242. G. L. Farre. De Morgan, Augustus. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 4, p. 760
243. H. A. Nielsen. Linguistic analysis. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 773–775
244. Ivo Thomas. The rule of excision in positive implication. Notre Dame journal of formal logic, vol. 3 (1962), p. 64
245. Logische Syntax der Sprache
246. W. A. Wallace. Logic, symbolic. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 962–964
247. T. λ K. Kloyda. Bolzano, Bemhard. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 2, p. 653
248. Bolzano, Bernhard
249. F. Waismann. Language strata. Logic and language (Second series), edited by A. G. N. Flew, Basil Blackwell, Oxford 1953, and Philosophical Library, New York 1953, pp. 11–31; also Logic and language (First and second series), edited and with introductions by Antony Flew, Doubleday Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1965, pp. 226–247
250. Introductory Note
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.