Switch to: Citations

Add references

You must login to add references.
  1. Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
    " There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Elements of mathematical logic.Georg Kreisel - 1967 - Amsterdam,: North Holland Pub. Co.. Edited by J. L. Krivine.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
    Download  
     
    Export citation  
     
    Bookmark   203 citations  
  • (2 other versions)Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, x + 531 pp. [REVIEW]Jeffrey B. Remmel - 1979 - Journal of Symbolic Logic 44 (2):283-284.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-99fc7d78b-6fxz5 uwo