Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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.
J. Barwise, Handbook. ob Mathematical Logic. North-Holland Publ. Co., Amsterdam 1977.
D. van Dalen, H.C. Doets, H.C.M. de Swart, Sets, Na v, axiomatic and ctpptied, Pergamon Press, Oxford 1978.
M. Davis, Computability & Unsolvability,New York 1958.
D. Hilbert, P. Bernays, Gnundeagen deft MathematLk I, II. Springer-Verlag, Berlin 1934, 1939, second edition 1970.
S.C. Kleene, IntnoductLon to meta mathematics. North-Holland Publ. Co., Amsterdam-New York 1952.
G. Kreisel, J.L. Krivine, Etementb ob Mathematical Logic. North-Holland Publ. Co., Amsterdam 1967.
Y.I. Manin, A count e in Math. Logic. Springer-Verlag, Berlin 1977.
D. Prawitz, NatunaP Deduction. Almqvist & Wiksell, Stockholm 1965. J.W. Robbin, Mathemat Leae Logic, W.A. Benjamin, New York 1969.
A. Robinson, Non-dtandatd Anatys.i,s. North-Holland Publ. Co., Amsterdam 1966.
G. Sacks, Satwtated Model Theony. W. A. Benjamin, New York 1972.
J.R. Shoenfield, MathematLc.ae Logic, Addison & Wesley, Reading 1967.
K.D. Stroyan, W.A.J. Luxemburg, Intitoduction to the theony ob.Ln6.Ln,ites.imae4. Academic Press, New York 1976.
Author information
Authors and Affiliations
Rights 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