Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 3,436 results
Atti del Congresso logica e filosofia della scienza, oggi : San Gimignano, 7-11 dicembre 1983 / organizzato dalla Società italiana di logica e filosofia delle scienze (SILFS).
- Text
- Bologna : CLUEB, [1986]-
- 1986-present
- 2 Items
Item details Format Call Number Item Location Text JFL 87-209 v. 1 Offsite Item details Format Call Number Item Location Text JFL 87-209 v. 2 Offsite Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland, 1980.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 81-621 Offsite Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.].
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1979.
- 1979
- 2 Items
Item details Format Call Number Item Location Text JSE 81-575 v. 1 Offsite Item details Format Call Number Item Location Text JSE 81-575 v. 2 Offsite Selected works in logic. Ed. by Jens Erik Fenstad.
- Text
- Oslo, Universitetsforlaget, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JFF 70-63 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Classical theory of first order logic [by] A. Pampapathy Rao.
- Text
- Simla, Indian Institute of Advanced Study, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JFD 71-1087 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Sets and logic [by] Samuel C. Hanna [and] John C. Saber.
- Text
- Homewood, Ill., R. D. Irwin, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSD 71-136 Offsite Les mathématiques à la portée de l'ordinateur. Préf. de J. Kuntzmann.
- Text
- Paris, Dunod, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JSD 72-70 Offsite Recursive function theory and logic.
- Text
- New York, Academic Press [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 72-250 Offsite Logic, automata, and algorithms [by] Mark A. Aiserman [and others] Translated by Scripta Technica. Translation editor: George M. Kranc.
- Text
- New York, Academic Press, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 72-347 Offsite Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. (Unveränd. reprograph. Nachdr. d. Ausg. Leipzig 1938.)
- Text
- Darmstadt, Wissenschaftliche Buchges., 1969.
- 1969-1938
- 1 Item
Item details Format Call Number Item Location Text JFD 72-601 Offsite Mathematical logic with special reference to the natural numbers [by] S. W. P. Steen.
- Text
- Cambridge [Eng.] University Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSE 72-447 Offsite The logic plurality [by] J. E. J. Altham.
- Text
- London, Methuen, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFD 72-3667 Offsite New methods in symbolic logic [by] Gerald B. Standley.
- Text
- Boston, Houghton Mifflin [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFE 72-1050 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Prototractatus; an early version of Tractatus logico-philosophicus. Edited by B. F. McGuinness, T. Nyberg [and] G. H. von Wright, with a translation by D. F. Pears [and] B. F. McGuinness, an historical introd. by G. H. von Wright and a facsim. of the author's manuscript.
- Text
- Ithaca, N.Y., Cornell University Press [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFF 72-460 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
George Boole; precursor de la lógica simbólica.
- Text
- [Buenos Aires] Departamento de Filosofía, Facultad de Filosofía y Letras, Universidad de Buenos Aires [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text JFD 72-2786 Offsite Elementary logic.
- Text
- New York, Oxford University Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFE 72-885 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Introduction to the basic concepts and problems of modern logic [by] G. Hasenjaeger. [Translated from the German by E. C. M. Mays]
- Text
- Dordrecht-Holland, D. Reidel Pub. Co. [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFD 72-5052 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Philosophische Grammatik. Hrsg. von Rush Rhees.
- Text
- Frankfurt a.M., Suhrkamp (1969).
- 1969
- 1 Item
Item details Format Call Number Item Location Text JFD 72-4249 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
An introduction to Wittgenstein's Tractatus [by] G. E. M. Anscombe. 4th ed.
- Text
- London, Hutchinson [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFD 72-4954 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Elements of set theory [by] Peter W. Zehna [and] Robert L. Johnson. 2d ed.
- Text
- Boston, Allyn and Bacon [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSE 72-1080 Offsite A mathematical introduction to logic [by] Herbert B. Enderton.
- Text
- New York, Academic Press [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFE 72-2551 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Beiträge zur Philosophie der Logik und Mathematik. Mit einf. u. erg. Bemerkungen von Wilhelm Ackermann, Paul Bernays [und] David Hilbert.
- Text
- Hamburg, Meiner [1971].
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSD 72-1037 Offsite Normative systems [by] Carlos E. Alchourrón and Eugenio Bulygin.
- Text
- New York, Springer-Verlag, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JLE 73-358 Offsite Laws of form [by] G. Spencer Brown. [1st American ed.]
- Text
- New York, Julian Press [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSE 73-290 Offsite Not available - In use until 2024-01-26 - Please for assistance.Logik. Mängdlära. Algebra. [Av] Stig Christofferson och Yngve Domar. 2. uppl.
- Text
- Lund, Gleerup, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JSE 73-1 Offsite Logică clasică si logică matematică.
- Text
- Bucuresti, Editura stiintifică, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFC 73-363 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Introduction to mathematical logic. Translated from German by Diana Schmidt.
- Text
- Berlin, New York, Springer-Verlag, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JFF 73-587 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Logika formalna; systemy logiczne. Wstęp do metalogiki. [Wyd. 1.].
- Text
- Warszawa, Państwowe Wydawn. Naukowe, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text *QO 73-292 Offsite Formale und dialektische Logik in der Sowjetphilosophie.
- Text
- Winterthur, H. Schellenberg, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFD 72-7342 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Logik-Texte, kommentierte Auswahl zur Geschichte der modernen Logik [hrsg. von] Karel Berka [und] Lothar Kreiser.
- Text
- Berlin, Akademie-Verlag, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFD 73-204 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
- Text
- Amsterdam, North-Holland Pub. Co., 1958-72.
- 1958-1972
- 2 Items
Item details Format Call Number Item Location Text L-10 1973 v. 1 Offsite Item details Format Call Number Item Location Text L-10 1973 v. 2 Offsite Logique, automatique, informatique. [Recherches. Sous la direction de Gr. C. Moisil].
- Text
- Bucarest, Éditions de l'Académie de la République Socialiste de Roumanie, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 73-605 Offsite Logik und Grundlagen der Mathematik.
- Text
- Braunschweig, F. Vieweg.
- 11 Items
Item details Format Call Number Item Location Text JSP 73-150 no. 19 Offsite Item details Format Call Number Item Location Text JSP 73-150 no. 20 Offsite Item details Format Call Number Item Location Text JSP 73-150 no. 22 Offsite Zur Geschichte der logischen Form.
- Text
- Berlin, Deutscher Verlag der Wissenschaften, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSK 73-203 Library has: Bd. 1. v. 1 Offsite Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
- Text
- New York, Academic Press [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 73-1946 Offsite Logicheskie metody analiza i sinteza skhem. Izd. 2-e, pererabot. i dop.
- Text
- Moskva, "Ėnergi︠i︡a," 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text *QH 73-271 Offsite Logica simbolică.
- Text
- Bucuresti, Editura stiintifică, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFC 73-1417 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Mengenlehre und Logik für Grund- und Hauptschullehrer; Beiträge zur Fachdidaktik [von] Erich Boddenberg [und] Georg Schmitz.
- Text
- Wuppertal, A. Henn [c1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSD 73-308 Offsite Mathematische Logik; ihre Grundprobleme in Theorie und Anwendung [von] Werner Strombach, Helmut Emde und Walter Reyersbach.
- Text
- München, Beck [c1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSD 73-260 Offsite Betriebswirtschaftliche Logik. Symbolisierg log. Strukturen in betriebswirtschaftl. Theorieansätzen.
- Text
- (Düsseldorf) Bertelsmann-Universitätsverl. (1971).
- 1971
- 1 Item
Item details Format Call Number Item Location Text JLD 73-2979 Offsite Symbolic logic, by Clarence Irving Lewis and Cooper Harold Langford.
- Text
- [New York] Dover Publications [1951]
- 1951
- 1 Item
Item details Format Call Number Item Location Text JFD 73-4743 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Symbolic logic. 2d ed., rev. and rewritten.
- Text
- Bronx, N.Y., Chelsea Pub. Co. [1971]
- 1971-1894
- 1 Item
Item details Format Call Number Item Location Text JSD 74-357 Offsite From mathematics to philosophy.
- Text
- New York, Humanities Press, London, Routledge & Kegan Paul [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JFD 74-2609 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Studies in the history of mathematical logic. Edited by Stanisław J. Surma.
- Text
- Wrocław, Zakład Narodowy im. Ossolińskich, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 74-78 Offsite Formale Logik und Grammatik.
- Text
- Tübingen, M. Niemeyer, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFE 73-952 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Annals of mathematical logic.
- Text
- Amsterdam, North-Holland Publishing Co.
- 1970-1982
- 11 Items
Item details Format Call Number Item Location Text JSP 73-467 v. 18-19 (1980) Offsite Item details Format Call Number Item Location Text JSP 73-467 v. 20-21 (1981) Offsite Item details Format Call Number Item Location Text JSP 73-467 v. 22-23 (1982) Offsite Bedeutung und Notwendigkeit; eine Studie zur Semantik und modalen Logik. [Translator: Wilhelm Bader]
- Text
- Wein, New York, Springer-Verlag, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFE 73-2234 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Logika w dowodzeniu i kierowaniu. Ze słowem wstęþnym Tadeusza Kotarbinskiego. [Wyd. 1.].
- Text
- Warszawa, Wydawn. Ministerstwa Obrony Narodowej, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text *QO 73-5580 Offsite Quantoren, Modalitäten, Paradoxien; Beiträge zur Logik. Hrsg. von Horst Wessel.
- Text
- Berlin, Deutscher Verlag der Wissenschaften, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFD 73-7334 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Issledovani︠i︡a po matematicheskoĭ lingvistike, matematicheskoĭ logike i informa︠t︡sionnym ︠i︡azykam. [Sbornik stateĭ. Pod red. D. A. Bochvara i ︠I︡U. A. Shreĭdera].
- Text
- Moskva, "Nauka," 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text *QH 74-1225 Offsite
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta