Søkte etter:

11 treff

The collected works of Alonzo Church
Church, Alonzo
Bok Engelsk 2019
New essays on the knowability paradox
edited by Joe Salerno
Bok Engelsk 2009
The calculi of lambda-conversion
by Alonzo Church
Bok Engelsk 1985
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Stegmüller, Wolfgang
Bok Tysk 1970
The calculi of lambda-conversion
Alonzo Church
Bok Engelsk 1965
Schröder's anticipation of the simple theory of types
Church, Alonzo
Bok Engelsk 1959
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Stegmüller, Wolfgang
Bok Tysk 1959
The problem of universals : a symposium
I.M. Bochenski, Alonzo Church, Nelson Goo...
Bok Engelsk 1956
Introduction to mathematical logic. Vol. 1.
Church, Alonzo
Bok Engelsk 1956
A bibliography of symbolic logic
Alonzo Church
Bok Språk ikke angitt 1936
Mathematical logic : lectures
by Alonzo Church
Bok Engelsk 1936