1755 P. Alexandrov (ed.): Die Hilbertschen Probleme. Leipzig 1983. 3228 Gu''nter Asser: Einfu''hrung in die mathematische Logik. 3 volumes. Deutsch 1983. 14299 Jon Barwise (ed.): Handbook of mathematical logic. North-Holland 1978. $113. Jon Barwise: The situation in logic. CSLI LN 17, Stanford 1988. Jon Barwise/John Etchemendy/Gerard Allwein/Dave Barker-Plummer: Language, proof, and logic. 1999. DM 119. Jon Barwise/S. Feferman (ed.): Model-theoretic logics. Springer 1985, 900p. DM 480. Jon Barwise/J. Perry: Situations and attitudes. MIT Press 1983. 14566 John Bell/Moshe Machover: A course in mathematical logic. North-Holland 1997, 600p. $114. L. Bolc/P. Borowik: Many-valued logics I. Springer 1992. 14565 George Boolos: Logic, logic, and logic. Harvard UP 1998, 440p. $23. George Boolos/Richard Jeffrey: Logic and computability. Cambridge UP 1995. 29447 Francesco Bottacin: Appunti di logica matematica. Internet, 36p. R. Boyer/J. Moore: A computational logic handbook. Academic Press 1988. 14317 Kim Bruce/Phokion Kolaitis/Daniel Leivant/Moshe Vardi: Logic in the computer science ourriculum. Internet ca. 1996, 2p. Rene Cori/Daniel Lascar: Mathematical logic. 2 volumes. Oxford UP 2000/2001, tog. 700p. Tog. Pds 52 (pb). Haskell Curry/R. Feys/W. Craig: Combinatory logic I. North-Holland 1958. Haskell Curry/J. Hindley/J. Seldin: Combinatory logic II. North-Holland 1972. D. van Dalen: Logic and structure. Springer 1994, 220p. 3-540-57839-0. DM 48. Keith Devlin: Logic and information. Cambridge UP 1991, 310p. $24. 29448 Mauro Di Naso: Logica matematica. Internet, 74p. 26088 Kees Doets: From logic to logic programming. MIT Press 1994, 210p. Eur 46. 14337 Heinz-Dieter Ebbinghaus/Jo''rg Flum/Wolfgang Thomas: Einfu''hrung in die mathematische Logik. Spektrum 1998, 310p. DM 40. 15379 Hartmut Ehrig a.o.: Mathematisch-strukturelle Grundlagen der Informatik. Springer 2001, 620p. Eur 33. H. Enderton: A mathematical introduction to logic. Academic Press 1972. Walter Felscher: Lectures on mathematical logic. 3 volumes. Ca. 1999. U. Friedrichsdorf: Einfuehrung in die klassische und intensionale Logik. Vieweg 1992, 350p. DM 86. 15620 Bernhard Ganter/Ru''diger Kraus''e: Pseudo models and propositional Horn inference. Internet 1999, 11p. 19867 S. Geschke: Besprechung des Buches "A first course in logic" 29452 Chiara Ghidini/Luciano Serafini: Mathematical logic exercises. Internet 2014, 80p. 23736 Mariano Giaquinta/G. Modica/J. Soucek: An extended propositional logic for incomplete knowledge. Ann. Univ. Ferrara 57 (2011), 287-302. Juergen-Michael Glubrecht/Arnold Oberschelp/Guenter Todt: Klassenlogik. Bibl. Inst. 1983, 470p. 3-411-01634-5. DM 78. 18180 Martin Goldstern: Prädikatenlogik erster Stufe und der Gödelsche Vollständigkeitssatz. Int. Math. Nachr. 202 (2006), 1-14. 26874 Martin Goldstern: Unvollständigkeit - Logik, Informatik, Zahlentheorie, Geometrie, Analysis. IMN 233 (2016), 25-47. 26526 Theodore Hailperin: Probability logic. Notre Dame JFL 25/3 (1984), 198-212. Paul Halmos/Steven Givant: Logic as algebra. MAA 1998, 150p. $30. 14315 Joseph Halpern a.o.: On the unusual effectiveness of logic in computer science. Internet 2001, 19p. S. Hedman: A first course in logic. Oxford UP 2004, 430p. Pds. 30. 14418 Jean van Heijenoort (ed.): From Frege to Go''del. A source book in mathematical logic, 1879-1931. Harvard UP 2000, 670p. $33. 3162 Hans Hermes: Einfu''hrung in die mathematische Logik. Teubner 1976. 16128 Bernard Hodgson: Herculean or Sisyphean task? EMS Newsletter March 2004, 11-16. 14353 Hans Kleine-Bu''ning/Theodor Lettmann: Aussagenlogik - Deduktion und Algorithmen. Teubner 1994, 440p. DM 57. 15021 Robert Kowalski: Logic without model theory. Internet ca. 1995, 37p. M. Machover: Set theory, logic and their limitations. Cambridge UP 1996, 290p. 0-521-47493-3 (pb). Pds. 15. "Dies ist eine ausgezeichnete Einfu''hrung in die mathematische Logik ..." (P. Telec) 5120 Saunders Mac Lane: To the greater health of mathematics. Math. Intell. 10/3 (1988), 17-20. Reply to 5119 Smorynski. Jerome Malitz: Introduction to mathematical logic. Set theory, computable functions, model theory. Springer 1987, 200p. 3-540-90346-1. DM 64. 29449 Alberto Marcone: Elementi di logica matematica. Internet 2009, 88p. M. Marx/L. Polos/M. Masuch: Arrow logic and multi-modal logic. CSLI Stanford 1996, 250p. 1-57586-024-4 (pb). Pds. 15. Benson Mates: Elementare Logik. Pra''dikatenlogik erster Stufe. Vandenhoek 1997, 310p. DM 48. Elliott Mendelson: Introduction to mathematical logic. 1997, 440p. DM 198. 29453 Joseph Mileti: A mathematical introduction to mathematical logic. Internet 2020, 330p. 5535 Gregory Moore: Sixty years after Goedel. Math. Intell. 13/3 (1991), 6-10. 15936 Dario Palladino: Corso di logica. Carocci 2003, 310p. Eur 26. 23075 Wolfgang Rautenberg: Einführung in die mathematische Logik. Vieweg+Teubner 2008, 250p. Eur 28. 7040 Nicholas Rescher: Many-valued logic. McGraw-Hill 1969. 5750 H. Arnold Schmidt: Mathematische Gesetze der Logik I. Vorlesungen ueber Aussagenlogik. Springer 1960. 29450 Helmut Schwichtenberg: Mathematical logic. Univ. München 2004, 169p. 14419 Joseph Shoenfield: Mathematical logic. Peters 2000, 340p. DM 84. 5119 Craig Smorynski: Against Mac Lane. Math. Intell. 10/3 (1988), 12-16. Raymond Smullyan: Goedel's incompleteness theorem. Oxford UP 1992, 140p. 0-195-04672-2. Pds. 20. 15377 Raymond Smullyan: First-order logic. Dover 1994, 160p. Eur 11. 12129 Wolfgang Stegmu''ller/Matthias Varga von Kibed: Strukturtypen der Logik. 3 volumes. Springer 1984. Hans-Peter Tuschik/Helmut Wolter: Mathematische Logik kurzgefas''t. Bibl. Inst. 1994, 210p. 3-411-16731-9. DM 30. 15187 Reiner Winter: Grundlagen der formalen Logik. Deutsch 2001, 240p. Eur 21.