Mathematical Logic: An Introduction to Model Theory von Miele, Angelo, Lightstone, A. H, Enderton, H. B

Volltext

Alonzo Church and the Reviews von Enderton, H. B.

Volltext

In Memoriam: Alonzo Church 1903–1995 von Enderton, H. B.

Volltext

Computability Theory: An Introduction to Recursion Theory von Enderton, Herbert B

Volltext

Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 200... von Enderton, H. B.

Volltext

A note on the hyperarithmetical hierarchy von Enderton, H. B., Putnam, Hilary

Volltext

Cumulative index to volumes 27–55 (1962–1990) von Enderton, H. B.

Volltext

A Mathematical Introduction to Logic von Enderton, Herbert, Enderton, Herbert B

Volltext

An infinitistic rule of proof von Enderton, H. B.

Volltext

Anita Burdman Feferman. From Trotsky to Gödel. The life of Jean van Heijenoort. Paperbound reprint with altered title of JSL LVIII 1465. A K Peters, Natick, Mass., 2001, xv + 415 p... von Enderton, H. B.

Volltext

Meeting of the Association for Symbolic Logic: Berkeley, 1983 von Addison, J. W., Enderton, H. B.

Volltext

Patrick Suppes, Introduction to logic. A republication of XXII 353 Publications, Mineola, New York, 1999, xiv + 312 pp von Enderton, H. B.

Volltext

Martin Goldstern and Haim Judah, The incompleteness phenomenon, A new course in mathematical logic, A K Peters, Wellesley, Mass., 1995, xiii + 247 pp von Enderton, H. B.

Volltext

Review: Anita Burdman Feferman, From Trotsky to Godel. The Life of Jean van Heijenoort von Enderton, H. B

Volltext

The Columbia history of western philosophy, edited by Richard H. Popkin, Columbia University Press, New York1999, xxvi + 836 pp von Enderton, H. B.

Volltext

Solvability, provability, definability: the collected works of Emil L. Post, edited by Davis Martin, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxvii... von Enderton, H. B.

Volltext

Review: Richard H. Popkin, The Columbia History of Western Philosophy von Enderton, H. B

Volltext

Review: Patrick Suppes, Introduction to Logic von Enderton, H. B

Volltext

Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer scien... von Enderton, H. B.

Volltext

Vladimir A. Uspensky. Godel's incompleteness theorem. A reprint of LV 889 with minor corrections. Theoretical computer science, vol. 130 (1994), pp. 239–319 von Enderton, H. B.

Volltext