Chapter PDF
Bibliography
C.C. Chang, H.J. Keisler. Model Theory. North-Holland Publ. Co, Amsterdam 1973.
A. Church, Introduction to Mathematical Logic. Princeton Un. Press, Princeton 1956.
J. Barwise, Handbook of Mathematical Logic. North-Holland Publ. Co., Amsterdam 1977.
D. van Dalen, H.C. Doets, H.C.M. de Swart, Sets, Naiv, axiomatic and applied, Pergamon Press, Oxford 1978.
M. Davis, Computability & Unsolvability, New York 1958.
D. Hilbert, P. Bernays, Grundlagen der Mathematik I, II. Springer-Verlag, Berlin 1934, 1939, second edition 1970.
S.C. Kleene, Introduction to meta mathematics. North-Holland Publ. Co., Amsterdam-New York 1952.
G. Kreisel, J.L. Krivine, Elements of Mathematical Logic. North-Holland Publ. Co., Amsterdam 1967.
Y.I. Manin, A course in Math. Logic. Springer-Verlag, Berlin 1977.
D. Prawitz, Natural Deduction. Almqvist & Wiksell, Stockholm 1965.
J.W. Robbin, Mathematical Logic, W.A. Benjamin, New York 1969.
A. Robinson, Non-standard Analysis. North-Holland Publ. Co., Amsterdam 1966.
G. Sacks, Saturated Model Theory. W. A. Benjamin, New York 1972.
J.R. Shoenfield, Mathematical Logic, Addison & Wesley, Reading 1967.
K.D. Stroyan, W.A.J. Luxemburg, Introduction to the theory of infinitesimals. Academic Press, New York 1976.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
van Dalen, D. (1983). Bibliography. In: Logic and Structure. Universitext. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02382-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-02382-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12831-1
Online ISBN: 978-3-662-02382-2
eBook Packages: Springer Book Archive