Zum Inhalt springen

Church, Alonzo [Verfasser:in]

Introduction to mathematical logic - [tenth printing]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton, NJ; Chichester, West Sussex: Princeton University Press, 1996

Erschienen in: Princeton landmarks in mathematics and physics
Church, Alonzo [Verfasser:in]

Introduction to mathematical logic / 1 - [6. print.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton, NJ: Princeton Univ. Pr., 1970

Erschienen in: Introduction to mathematical logic / by Alonzo Church ; 1,6 - Princeton mathematical series ; 17,6
Church, Alonzo [Verfasser:in] ; Nevanlinna, Rolf Herman [Gefeierte:r]

A generalization of Laplace's transformation : to Rolf Nevanlinna on his 70th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Helsinki: Suomalainen Tiedeakatemia, 1966

Erschienen in: Suomalainen Tiedeakatemia: Annales Academiae Scientiarum Fennicae / A / 1 ; 377
Church, Alonzo [Verfasser:in]

Introduction to mathematical logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton, NJ: Princeton Univ. Pr., 1956-

Erschienen in: Princeton mathematical series ; .
Church, Alonzo [Verfasser:in]

The calculi of lambda-conversion - [2. printing]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton: Princeton Univ. Press, 1951

Erschienen in: Annals of mathematics studies ; 6
Anderson, C. Anthony [Sonstige Person, Familie und Körperschaft]; Church, Alonzo [Gefeierte:r]; Zele͏̈ny, Michael [Sonstige Person, Familie und Körperschaft]; Anderson, Curtis Anthony [Herausgeber:in]

Logic, meaning, and computation : essays in memory of Alonzo Church

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Academic Publishers, 2001

Erschienen in: Synthese <Dordrecht> / Library ; 30500
Church, Alonzo [Verfasser:in]

Introduction to Mathematical Logic

Online ansehen
Schließen

Zugang

... zum E-Book via De Gruyter

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton, NJ: Princeton University Press, 2016

Erschienen in: Annals of mathematics studies ; 13
Church, Alonzo [Verfasser:in]

The Calculi of Lambda Conversion : (AM-6)

Online ansehen
Schließen

Zugang

... zum E-Book via De Gruyter

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton, NJ: Princeton University Press, 2016

Erschienen in: Annals of mathematics studies ; 6
Cocke, Alonzo Rice [Verfasser:in] ; Library of Congress, Presbyterian church in the United States. Executive committee of publications

Studies in the Epistles of John;

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Richmond, Va.: The Presbyterian committee of publication, 1895
Potter, Alonzo [Mitwirkende:r]; Muhlenberg, William Augustus [Mitwirkende:r] ; Protestant Episcopal church in the U.S.A House of Bishops, Library of Congress

Memorial papers : The memorial: with circular and questions of the episcopal commission; report of the commission; contributions of the commissioners; and communications from Episcopal and non-Episcopal divines

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Philadelphia: E. H. Butler & Co., 1857
Church, Alonzo [Verfasser:in]

Special Cases of the Decision Problem

Online ansehen
Schließen

Zugang

... zum Aufsatz

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Erschienen in: Revue Philosophique de Louvain ; Vol. 49, n° 22, pp. 203-221
Church, Alonzo [Verfasser:in]

Special Cases of the Decision Problem. A Correction

Online ansehen
Schließen

Zugang

... zum Aufsatz

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Erschienen in: Revue Philosophique de Louvain ; Vol. 50, n° 26, pp. 270-272
Church, Alonzo

A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

JSTOR, 1993

Erschienen in: Noûs, 27 (1993) 2, Seite 141
Church, Alonzo

A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Blackwell Publishers, 1993

Erschienen in: Noûs, 27 (1993) 2, Seite 141-157
Church, Alonzo

Comparison of Russell's resolution of the semantical antinomies with that of Tarski

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1976

Erschienen in: Journal of Symbolic Logic, 41 (1976) 4, Seite 747-760
Church, Alonzo

Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Symbolic Logic, Inc., 1976

Erschienen in: The Journal of Symbolic Logic, 41 (1976) 4, Seite 747-760
Church, Alonzo

Douglas P. Lackey. Preface. Essays in analysis by Bertrand Russell, edited by Douglas Lackey, Allen & Unwin , Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1976

Erschienen in: The Journal of Symbolic Logic, 41 (1976) 3, Seite 700-702
Church, Alonzo

Douglas P. Lackey. Preface. Essays in analysis by Bertrand Russell, edited by Douglas Lackey, Allen & Unwin, Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1976

Erschienen in: Journal of Symbolic Logic, 41 (1976) 3, Seite 700-702
Church, Alonzo

Review: Essays in Analysis by Bertrand Russell

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Symbolic Logic, Inc., 1976

Erschienen in: The Journal of Symbolic Logic, 41 (1976) 3, Seite 700-702
Church, Alonzo

Review: On the Syllogism and other Logical Writings by Augustus de Morgan

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Symbolic Logic, Inc., 1976

Erschienen in: The Journal of Symbolic Logic, 41 (1976) 2, Seite 546-547

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr