H.U. Gerber, Life Insurance Mathematics (Springer-Verlag, Berlin-Heidelberg, and Swiss Association of Actuaries, Zürich, 1990) pp. xiii + 131, $59.50, ISBN 3-540-52944-6 Springer-Verlag, Berlin-Heidelberg-New York. ISBN 0-387-52944-6, Springer-Verlag, New York. Berlin-Heidelberg.

JOURNAL ARTICLE published July 1991 in Insurance: Mathematics and Economics

Authors: H. Wolthuis

Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp.

JOURNAL ARTICLE published March 1999 in Journal of Symbolic Logic

Authors: Fahiem Bacchus

J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, x + 531 pp.

JOURNAL ARTICLE published June 1979 in Journal of Symbolic Logic

Authors: Jeffrey B. Remmel

Ulrich Felgner. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp. - Thomas J. Jech. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp.

JOURNAL ARTICLE published March 1975 in Journal of Symbolic Logic

Authors: Frank R. Drake

Saunders Mac Lane. Mathematics: form and function. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1986, xi + 476 pp.

JOURNAL ARTICLE published June 1988 in Journal of Symbolic Logic

Authors: Penelope Maddy

Introduction to applied nonlinear dynamical systems and chaos. Texts in Applied Mathematics, vol. 5 Springer‐Verlag 1990, New York, Berlin, Heidelberg, London, Paris, Tokyo, Hong Kong, 291 Illustrations, Subject Index, Bibliography, 670 pages. DM 98,00, ISBN 0‐387‐97003‐7 Springer‐Verlag New York, Berlin, Heidelberg; ISBN 3‐540‐97003‐7 Springer‐Verlag Berlin, Heidelberg, New York

JOURNAL ARTICLE published January 1991 in Crystal Research and Technology

Authors: St. Wiggins | E. Zeidler

Saunders Mac Lane. Mathematics: form and function. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1986, xi + 476 pp.

JOURNAL ARTICLE published June 1988 in The Journal of Symbolic Logic

Authors: Penelope Maddy

Jerome Malitz. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp.

JOURNAL ARTICLE published June 1984 in Journal of Symbolic Logic

Authors: P. Eklof

Flow cytometry in microbiology. London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest: Springer‐Verlag, 1993. 188 pages, 74 figures; $ 120.–, DM 158,– ISBN 6‐540‐19796‐6 Springer‐Verlag, Berlin, Heidelberg, New York. ISBN 0‐387‐19796‐6 Springer‐Verlag, New York, Berlin, Heidelberg

JOURNAL ARTICLE published January 1994 in Acta Biotechnologica

Authors: S. Müller

David Marker. Model Theory: An Introduction. Graduate Texts in Mathematics, vol. 271. Springer Verlag, New York, Berlin and Heidelberg, 2002, 342 pp.

JOURNAL ARTICLE published September 2003 in Bulletin of Symbolic Logic

Authors: Bradd Hart

Saharon Shelah. Proper forcing. Lecture notes in mathematics, vol. 940. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xxix + 496 pp.

JOURNAL ARTICLE published March 1985 in Journal of Symbolic Logic

Authors: S. Todorcevic

Mathematics Behind Fuzzy Logic

JOURNAL ARTICLE published 1 March 2001 in Kybernetes

Hans Hermes. Eine Termlogik mit Auswahloperator. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1965, iv + 42 pp.

JOURNAL ARTICLE published September 1970 in Journal of Symbolic Logic

Authors: Gert Heinz Müller

Greg Cherlin. Model theoretic algebra. Selected topics. Lecture notes in mathematics, Bd. 521. Springer-Verlag, Berlin, Heidelberg, und New York, 1976, IV + 234 S.

JOURNAL ARTICLE published March 1982 in Journal of Symbolic Logic

Authors: Ulrich Felgner

Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp.

JOURNAL ARTICLE published March 1975 in Journal of Symbolic Logic

Authors: Maurice Boffa

Yiannis N. Moschovakis. Notes on set theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, xiv + 272 pp.

JOURNAL ARTICLE published December 1997 in Journal of Symbolic Logic

Authors: Joel David Hamkins

Hans Hermes. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp.

JOURNAL ARTICLE published December 1971 in Journal of Symbolic Logic

Authors: Perry Smith

Yu. I. Manin. A course in mathematical logic. Translated from the Russian by Neal Koblitz. Graduate texts in mathematics, vol. 53. Springer-Verlag, New York, Heidelberg, and Berlin, 1977, xiii + 286 pp.

JOURNAL ARTICLE published September 1986 in Journal of Symbolic Logic

Authors: George Boolos

R. E. Hummel. Electronic Properties of Materials. An Introduction for Engineers. Springer‐Verlag, Berlin – Heidelberg – New York – Tokyo 1985, 319 pages, 219 figures, 30 tables, DM 116.–, ISBN 3‐540‐15631‐3 Springer‐Verlag Berlin – Heidelberg – New York – Tokyo, ISBN 0‐387‐15631‐3 Springer‐Verlag New York – Berlin – Heidelberg – Tokyo

JOURNAL ARTICLE published October 1986 in Crystal Research and Technology

Authors: H. Neumann

Bruno Scarpellini. Proof theory and intuitionistic systems. Lecture notes in mathematics, no. 212. Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VII + 291 pp.

JOURNAL ARTICLE published September 1974 in Journal of Symbolic Logic

Authors: A. S. Troelstra