A Bibliography of Symbolic Logic

Alonzo Church

doi:10.1017/S0022481200039396

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Lane, Saunders Mac 1939. Mathematics Clubs. The American Mathematical Monthly, Vol. 46, Issue. 5, p. 289.

Weyl, Hermann 1946. Mathematics and Logic. The American Mathematical Monthly, Vol. 53, Issue. 1, p. 2.

Bocheński, J. M. 1961. Studies in Soviet Thought. Vol. 7, Issue. , p. 29.

GOFFMAN, WILLIAM and HARMON, GLYNN 1971. Mathematical Approach to the Prediction of Scientific Discovery. Nature, Vol. 229, Issue. 5280, p. 103.

Goffman, William 1971. A Mathematical Method for Analyzing the Growth of a Scientific Discipline. Journal of the ACM, Vol. 18, Issue. 2, p. 173.

Zemanek, H. 1974. Taschenbuch der Informatik. p. 1.

Gandy, R.O. 1977. Logic Colloquium 76, Proceedings of a conference. Vol. 87, Issue. , p. 173.

Arruda, Ayda I. 1977. Non-Classical Logics, Model Theory, And Computability. Vol. 89, Issue. , p. 3.

Grattan-Guinness, I. 1981. On the Development of Logics Between the Two World Wars. The American Mathematical Monthly, Vol. 88, Issue. 7, p. 495.

Marciszewski, W. 1981. Dictionary of Logic as Applied in the Study of Language. p. 183.

Thiel, Christian 1984. Folgen der Emigration deutscher und österreichischer Wissenschaftstheoretiker und Logiker zwischen 1933 und 1945. Berichte zur Wissenschaftsgeschichte, Vol. 7, Issue. 4, p. 227.

Anellis, Irving H. 1987. Mathematical logic in the soviet union, 1917–1980. History and Philosophy of Logic, Vol. 8, Issue. 1, p. 71.

Simons, Peter 1989. The Vienna Circle and the Lvov-Warsaw School. Vol. 38, Issue. , p. 249.

Došen, Kosta 1992. The first axiomatization of relevant logic. Journal of Philosophical Logic, Vol. 21, Issue. 4, p. 339.

Wagner-Döbler, R. 1999. William Goffman's “Mathematical approach to the prediction of scientific discovery” and its application to logic, revisited. Scientometrics, Vol. 46, Issue. 3, p. 635.

Ehrig, Hartmut Mahr, Bernd Große-Rhode, Martin Cornlius, Felix and Zeitz, Philip 2001. Mathematisch-strukturelle Grundlagen der Informatik. p. 401.

Baldwin, Thomas 2003. The Cambridge History of Philosophy 1870–1945.

Dawson, John 2003. The Cambridge History of Philosophy 1870–1945. p. 592.

Lenski, Wolfgang 2004. Logic versus Approximation. Vol. 3075, Issue. , p. 77.

Harmon, Glynn 2008. Remembering William Goffman: Mathematical information science pioneer. Information Processing & Management, Vol. 44, Issue. 4, p. 1634.

Download full list

Article contents

A Bibliography of Symbolic Logic

Abstract

Access options

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

A Bibliography of Symbolic Logic

Abstract

Access options

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests