Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 157 results
Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg.
- Text
- New York, Holt, Rinehart and Winston [1969]
- 1969
- 1 Item
Item details Format Call Number Item Location Text JSE 71-108 Offsite Model theory and its applications.
- Text
- Boston, Allyn and Bacon [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSE 73-354 Offsite Modelltheorie; eine Einführung in die mathematische Logik und Grundlagentheorie [von] G. Kreisel [und] J. L. Krivin. Aus dem Französischen übers. von J. Jung.
- Text
- Berlin, Springer, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSF 73-131 Offsite Saturated model theory [by] Gerald E. Sacks.
- Text
- Reading, Mass., W. A. Benjamin, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSE 74-997 Offsite Modelirane i otrazhenie. <Gnoseol. aspekti>. [Izsledvane].
- Text
- Sofi︠i︡a, Nauka i izkustvo (Pleven, pech. Al. Pŭshev) 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text *QK 74-2855 Offsite Model theory. [By] C. C. Chang and H. J. Keisler.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSD 75-14 Offsite The theory of ultrafilters [by] W. W. Comfort [and] S. Negrepontis.
- Text
- New York, Springer-Verlag, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 75-380 Offsite The monadic second order theory of all countable ordinals [by] J. Richard Büchi [and] Dirk Siefkes.
- Text
- Berlin, New York, Springer, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 no. 324-328 Offsite Algebraic systems [by] A. I. Malʹcev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy.
- Text
- Berlin, New York, Springer-Verlag, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 75-669 Offsite Allgemeine Modelltheorie.
- Text
- Wien, New York, Springer [c1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 75-643 Offsite Models and ultraproducts: an introduction by J. L. Bell and A. B. Slomson. 3rd revised [ed.]
- Text
- Amsterdam, North-Holland Publishing Co., distributed by American Elsevier Pub. Co. [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSD 75-948 Offsite Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 no. 1-5 (1964-1967) Offsite Introduction to model theory and to the metamathematics of algebra / Abraham Robinson.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., [1974, c1963]
- 1974-1963
- 1 Item
Item details Format Call Number Item Location Text JSD 75-1338 Offsite Large infinitary languages : model theory / M. A. Dickmann.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JFD 77-1116 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.
Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).
- Text
- Berlin, Heidelberg, New York, Springer, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 344-345 Offsite Infinitary logic : in memoriam Carol Karp / edited by David W. Kueker.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 491-493 Offsite Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D. Saracino and V. B. Weispfenning.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 498 Offsite Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere, C. Maurer, G. C. Wraith.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 443-445 Offsite Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 536-538 Offsite Gomomorfizmy i modeli: logiko-algebraich, aspekty modelirovani︠i︡a / ︠I︡U. A. Gastev; AN SSSR, Nauch. sovet po Kompleksnoĭ probleme "Kibernetika."
- Text
- Moskva : Nauka, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text *QH 76-6413 Offsite Complete theories / Abraham Robinson. 2d ed. / pref. to 2d ed. by H. J. Keisler.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. : sole distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSD 77-961 Offsite Beginning model theory : the completeness theorem and some consequences / by Jane Bridge.
- Text
- Oxford [Eng.] : Clarendon Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSE 78-155 Offsite Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSD 78-304 Offsite Boolean-valued models and independence proofs in set theory / by J. L. Bell.
- Text
- Oxford : Clarendon Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSE 78-1059 Offsite Classification theory and the number of non-isomorphic models / S. Shelah.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1137 Offsite First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes.
- Text
- Berlin ; New York : Springer-Verlag, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 609-612 Offsite Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach.
- Text
- Berlin ; New York : Springer-Verlag, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 617-620 Offsite Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton.
- Text
- New York : Plenum Press, c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 80-11 Offsite Model theory / C. C. Chang and H. J. Keisler.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributed by Elsevier North-Holland, 1977, c1973.
- 1977-1973
- 1 Item
Item details Format Call Number Item Location Text JSE 81-1000 Offsite Algebraische Modelle, Kategorien und Gruppoide / hrsg. von Hans-J. Hoehnke.
- Text
- Berlin : Akademie-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSK 77-78 v. 1, 4-7 (1976-1979) Offsite Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 / edited by R.B. Jensen and A. Prestel.
- Text
- Berlin ; New York : Springer-Verlag, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 870-872 Offsite Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre.
- Text
- Berlin ; New York : Springer, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 888-890 Offsite Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 833-834 Offsite Die aristotelische Modaltheorie / von Gerhard Seel.
- Text
- Berlin ; New York : Walter de Gruyter, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JFL 72-249 Bd.16 v. 16 Offsite Models of reality : shaping thought and action / Jacques Richardson, editor.
- Text
- Mt. Airy, Md. : Lomond Publications ; Paris : published in cooperation with UNESCO, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 84-594 Offsite La technique des modèles dans sciences humaines. Model building in the human sciences. Organisateur scientifique: Herman O.A. Wold.
- Text
- Monaco, Éditions "Sciences humaines" [1966]
- 1966
- 1 Item
Item details Format Call Number Item Location Text JFF 84-541 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 stability theory / by Anand Pillay.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text JSE 84-1224 Offsite Modelling of patterns in space and time : proceedings of a workshop held by the Sonderforschungsbereich 123 at Heidelberg July 4-8, 1983 / edited by W. Jäger and J.D. Murray.
- Text
- Berlin ; New York : Springer-Verlag, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSK 75-186 v. 54-55 Offsite Model-theoretic logics / edited by J. Barwise and S. Feferman ; with contributions by A. Baudisch ... [et al.].
- Text
- New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1294 Offsite Around classification theory of models / Saharon Shelah.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 1181-1182 Offsite Boolean-valued models and independence proofs in set theory / J.L. Bell.
- Text
- Oxford [Oxfordshire] : Clarendon press ; Oxford University Press, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1171 Offsite Model theory and modules / Mike Prest.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2061 Offsite Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / J.T. Baldwin (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 no. 1292-1294 Offsite Stabilité en théorie des modèles / D. Lascar.
- Text
- Louvain-la-Neuve : Cabay, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSD 88-946 Offsite Modell und Erfahrung: ein Beitrag zur Überwindung der Sprachbarriere zwischen Naturwissenschaft und Philosophie.
- Text
- Freiburg, K. Alber [c1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JFD 90-7436 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.
The pragmatics and semiotics of standard languages / Albert M. Sweet.
- Text
- University Park : Pennsylvania State University Press, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JFE 88-1563 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.
Stability in model theory / Daniel Lascar ; translated from the French by J.E. Wallington.
- Text
- Harlow, Essex, England : Longman Scientific & Technical ; New York : J. Wiley, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 89-192 Offsite Modèles et interprétation / Lucien Bescond ... [et al.].
- Text
- Villeneuve-d'Ascq : Publications de l'Université de Lille III, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 88-291 Offsite Models of Peano arithmetic / Richard Kaye.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 91-719 Offsite Model theoretic algebra : with particular emphasis on fields, rings, modules / by Christian U. Jensen and Helmut Lenzing.
- Text
- New York : Gordon and Breach Science Publishers, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 91-1000 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.
