Zum Inhalt springen

Curry, Haskell B. [Verfasser:in]

Osnovanija matematičeskoj logiki

Schließen

Merkliste

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

Moskva: Izdat. MIR, 1969
Curry, Haskell B. [Sonstige Person, Familie und Körperschaft]

Combinatory logic

Schließen

Merkliste

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

Amsterdam: North-Holland Publ., 1958-

Erschienen in: Studies in logic and the foundations of mathematics ; .
Curry, Haskell B. [Verfasser:in]

Leçons de logique algébrique

Schließen

Merkliste

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

Paris [u.a.]: Gauthier-Villars [u.a.], 1952

Erschienen in: Collection de logique mathématique / A ; 200
Curry, Haskell B. [Verfasser:in]

Outlines of a formalist philosophy of mathematics

Schließen

Merkliste

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

Amsterdam: North-Holland, 1951

Erschienen in: Studies in logic and the foundations of mathematics
Curry, Haskell B. [Verfasser:in]; Hindley, James Roger [Verfasser:in]; Seldin, Jonathan P. [Verfasser:in]

Combinatory logic / 2 / Haskell B. Curry; J. Roger Hindley; Jonathan P. Seldin

Schließen

Merkliste

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

Amsterdam: North-Holland Publ., 1972

Erschienen in: Combinatory logic / Haskell B. Curry ... ; 2 - Studies in logic and the foundations of mathematics ; 65
Curry, Haskell B. [Verfasser:in]

On the definition of substitution, replacement and allied notions in a abstract formal system

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. 251-269
Curry, Haskell B. [Sonstige Person, Familie und Körperschaft]

Outlines of a formalist philosophy of mathematics

Online ansehen
Schließen

Zugang

... zum E-Book via ScienceDirect

... zum E-Book via ScienceDirect (Volltext)

... zum E-Book via ScienceDirect

Schließen

Merkliste

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

Amsterdam: Elsevier Science, 1951 ; Online-Ausg.

Erschienen in: Studies in logic and the foundations of mathematics ; v. 3
Curry, Haskell B.

The Kleene Symposium: Some Philosophical Aspects of Combinatory Logic

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.

Elsevier, 1980

Erschienen in: The Kleene Symposium (1980), Seite 85-101
Curry, Haskell B.

The consistency of a system of combinatory restricted generality

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), 1973

Erschienen in: Journal of Symbolic Logic, 38 (1973) 3, Seite 489-492
Curry, Haskell B.

Lecture Notes in Mathematics: A study of generalized standardization in combinatory logic

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.

Springer Berlin Heidelberg, 1975

Erschienen in: Lecture Notes in Mathematics (1975), Seite 44-55
Curry, Haskell B.

Review: Axioms for Strong Reduction in Combinatory Logic

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., 1971

Erschienen in: The Journal of Symbolic Logic, 36 (1971) 1, Seite 171-172
Curry, Haskell B.

Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 (1967), pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 (1967), pp. 237–239

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), 1971

Erschienen in: Journal of Symbolic Logic, 36 (1971) 1, Seite 171-172
Curry, Haskell B.

Modified basic functionality in combinatory logic

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.

Verein philosophie.ch, 1969

Erschienen in: dialectica, 23 (1969) 2, Seite 83-92
Curry, Haskell B.

Combinatory recursive objects of all finite types

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.

American Mathematical Society (AMS), 1964

Erschienen in: Bulletin of the American Mathematical Society, 70 (1964) 6, Seite 814-817
CURRY, Haskell B.

Logic as Mathematical Science

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.

The Japan Association for Philosophy of Science, 1963

Erschienen in: Annals of the Japan Association for Philosophy of Science, 2 (1963) 3, Seite 131-143
Curry, Haskell B.

Two examples of algorithms

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.

Springer Science and Business Media LLC, 1964

Erschienen in: Archiv für Mathematische Logik und Grundlagenforschung, 7 (1964) 1-2, Seite 29-44
Curry, Haskell B.

Memories of S. S. Curry

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.

Informa UK Limited, 1959

Erschienen in: Today's Speech, 7 (1959) 4, Seite 7-8
Curry, Haskell B.

CALCULUSES AND FORMAL SYSTEMS

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.

Verein philosophie.ch, 1958

Erschienen in: dialectica, 12 (1958) 3-4, Seite 249-273
Curry, Haskell B.

Introduction to mathematical logic

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.

Elsevier BV, 1957

Erschienen in: Journal of the Franklin Institute, 264 (1957) 3, Seite 244-246
Curry, Haskell B.

Book Review: Grundzüge der theoretischen Logik

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.

American Mathematical Society (AMS), 1953

Erschienen in: Bulletin of the American Mathematical Society, 59 (1953) 3, Seite 263-268

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