Active filters
Displaying 1-50 of 3,435 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFL 87-209 v. 2 | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFL 87-209 v. 1 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 81-621 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 81-575 v. 2 | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 81-575 v. 1 | Item locationOffsite |
Selected works in logic. Ed. by Jens Erik Fenstad.
Text
Oslo, Universitetsforlaget, 1970.
1970
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFF 70-63 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 71-1087 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSD 71-136 | Item locationOffsite |
Les mathématiques à la portée de l'ordinateur. Préf. de J. Kuntzmann.
Text
Paris, Dunod, 1970.
1970
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSD 72-70 | Item locationOffsite |
Recursive function theory and logic.
Text
New York, Academic Press [1971]
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 72-250 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 72-347 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-601 | Item locationOffsite |
Mathematical logic with special reference to the natural numbers [by] S. W. P. Steen.
Text
Cambridge [Eng.] University Press, 1972.
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 72-447 | Item locationOffsite |
The logic plurality [by] J. E. J. Altham.
Text
London, Methuen, 1971.
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-3667 | Item locationOffsite |
New methods in symbolic logic [by] Gerald B. Standley.
Text
Boston, Houghton Mifflin [1971]
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 72-1050 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFF 72-460 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-2786 | Item locationOffsite |
Elementary logic.
Text
New York, Oxford University Press, 1972.
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 72-885 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-5052 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-4249 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-4954 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 72-1080 | Item locationOffsite |
A mathematical introduction to logic [by] Herbert B. Enderton.
Text
New York, Academic Press [1972]
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 72-2551 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSD 72-1037 | Item locationOffsite |
Normative systems [by] Carlos E. Alchourrón and Eugenio Bulygin.
Text
New York, Springer-Verlag, 1971.
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJLE 73-358 | Item locationOffsite |
Laws of form [by] G. Spencer Brown. [1st American ed.]
Text
New York, Julian Press [1972]
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 73-290 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 73-1 | Item locationOffsite |
Logică clasică si logică matematică.
Text
Bucuresti, Editura stiintifică, 1971.
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFC 73-363 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFF 73-587 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call number*QO 73-292 | Item locationOffsite |
Formale und dialektische Logik in der Sowjetphilosophie.
Text
Winterthur, H. Schellenberg, 1971.
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 72-7342 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 73-204 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberL-10 1973 v. 2 | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberL-10 1973 v. 1 | Item locationOffsite |
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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 73-605 | Item locationOffsite |
Logik und Grundlagen der Mathematik.
Text
Braunschweig, F. Vieweg.
11 items
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSP 73-150 no. 22 | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSP 73-150 no. 20 | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSP 73-150 no. 19 | Item locationOffsite |
Zur Geschichte der logischen Form.
Text
Berlin, Deutscher Verlag der Wissenschaften, 1973.
1973
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSK 73-203 Library has: Bd. 1. v. 1 | Item locationOffsite |
Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
Text
New York, Academic Press [1973]
1973
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 73-1946 | Item locationOffsite |
Logicheskie metody analiza i sinteza skhem. Izd. 2-e, pererabot. i dop.
Text
Moskva, "Ėnergi︠i︡a," 1968.
1968
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call number*QH 73-271 | Item locationOffsite |
Logica simbolică.
Text
Bucuresti, Editura stiintifică, 1971.
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFC 73-1417 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSD 73-308 | Item locationOffsite |
Mathematische Logik; ihre Grundprobleme in Theorie und Anwendung [von] Werner Strombach, Helmut Emde und Walter Reyersbach.
Text
München, Beck [c1972]
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSD 73-260 | Item locationOffsite |
Betriebswirtschaftliche Logik. Symbolisierg log. Strukturen in betriebswirtschaftl. Theorieansätzen.
Text
(Düsseldorf) Bertelsmann-Universitätsverl. (1971).
1971
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJLD 73-2979 | Item locationOffsite |
Symbolic logic, by Clarence Irving Lewis and Cooper Harold Langford.
Text
[New York] Dover Publications [1951]
1951
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 73-4743 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSD 74-357 | Item locationOffsite |
From mathematics to philosophy.
Text
New York, Humanities Press, London, Routledge & Kegan Paul [1974]
1974
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 74-2609 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSE 74-78 | Item locationOffsite |
Formale Logik und Grammatik.
Text
Tübingen, M. Niemeyer, 1972.
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 73-952 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSP 73-467 v. 22-23 (1982) | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSP 73-467 v. 20-21 (1981) | Item locationOffsite |
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJSP 73-467 v. 18-19 (1980) | Item locationOffsite |
Bedeutung und Notwendigkeit; eine Studie zur Semantik und modalen Logik. [Translator: Wilhelm Bader]
Text
Wein, New York, Springer-Verlag, 1972.
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFE 73-2234 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call number*QO 73-5580 | Item locationOffsite |
Quantoren, Modalitäten, Paradoxien; Beiträge zur Logik. Hrsg. von Horst Wessel.
Text
Berlin, Deutscher Verlag der Wissenschaften, 1972.
1972
1 item
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call numberJFD 73-7334 | Item locationSchwarzman 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
| Format | Call number | Item location |
|---|---|---|
| FormatText | Call number*QH 74-1225 | Item locationOffsite |
No results found from Digital Research Books Beta
Digital books for research from multiple sources worldwide - all free to read, download, and keep. No library card required.
Explore Digital Research Books Beta