Skip to main content
SpringerLink
Log in
Book cover

Logic and Structure pp 168Cite as

Bibliography

  • Chapter

  • 351 Accesses

Part of the book series: Universitext ((UTX))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Bibliography

  • C.C. Chang, H.J. Keisler. Model Theony. North-Holland Publ. Co, Amsterdam 1973. A. Church, In;itoduc2Lon to MathemoILeae Logic. Princeton Un. Press, Princeton 1956.

    Google Scholar 

  • J. Barwise, Handbook. ob Mathematical Logic. North-Holland Publ. Co., Amsterdam 1977.

    Google Scholar 

  • D. van Dalen, H.C. Doets, H.C.M. de Swart, Sets, Na v, axiomatic and ctpptied, Pergamon Press, Oxford 1978.

    Google Scholar 

  • M. Davis, Computability & Unsolvability,New York 1958.

    Google Scholar 

  • D. Hilbert, P. Bernays, Gnundeagen deft MathematLk I, II. Springer-Verlag, Berlin 1934, 1939, second edition 1970.

    Google Scholar 

  • S.C. Kleene, IntnoductLon to meta mathematics. North-Holland Publ. Co., Amsterdam-New York 1952.

    Google Scholar 

  • G. Kreisel, J.L. Krivine, Etementb ob Mathematical Logic. North-Holland Publ. Co., Amsterdam 1967.

    Google Scholar 

  • Y.I. Manin, A count e in Math. Logic. Springer-Verlag, Berlin 1977.

    Google Scholar 

  • D. Prawitz, NatunaP Deduction. Almqvist & Wiksell, Stockholm 1965. J.W. Robbin, Mathemat Leae Logic, W.A. Benjamin, New York 1969.

    Google Scholar 

  • A. Robinson, Non-dtandatd Anatys.i,s. North-Holland Publ. Co., Amsterdam 1966.

    Google Scholar 

  • G. Sacks, Satwtated Model Theony. W. A. Benjamin, New York 1972.

    Google Scholar 

  • J.R. Shoenfield, MathematLc.ae Logic, Addison & Wesley, Reading 1967.

    Google Scholar 

  • K.D. Stroyan, W.A.J. Luxemburg, Intitoduction to the theony ob.Ln6.Ln,ites.imae4. Academic Press, New York 1976.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematisch Instituut, Rijksuniversiteit Utrecht, Budapestlaan 6, Postbus 80.010, NL-3508 TA, Utrecht, The Netherlands

    Dirk van Dalen

Authors
  1. Dirk van Dalen
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

van Dalen, D. (1980). Bibliography. In: Logic and Structure. Universitext. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-08402-1_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-08402-1_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09893-5

  • Online ISBN: 978-3-662-08402-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation