Kreisel, GeorgOverview
Publication Timeline
Most widely held works about
Georg Kreisel
Most widely held works by
Georg Kreisel
Elements of mathematical logic. (Model theory)
by Georg Kreisel
(
Book
)
11 editions published between 1966 and 1967 in French and English and held by 482 libraries worldwide
Elements of mathematical logic. (Model theory)
by Georg Kreisel
(
Book
)
12 editions published between 1957 and 1971 in English and Dutch and held by 156 libraries worldwide
Modelltheorie ; eine Einführung in die mathematische Logik und Grundlagentheorie
by Georg Kreisel
(
Book
)
3 editions published in 1972 in German and held by 95 libraries worldwide
Formally self-referential propositions for cut free classical analysis and related systems
by Georg Kreisel
(
Book
)
3 editions published in 1974 in English and held by 48 libraries worldwide
Formally self-referential propositions for cut free classical analysis and related system
by G Kreisel
(
Book
)
1 edition published in 1974 in English and held by 8 libraries worldwide
Five notes on the application of proof theory to computer science
by G Kreisel
(
Book
)
2 editions published in 1971 in English and held by 5 libraries worldwide
Novija filozofija matematike
(
Book
)
1 edition published in 1987 in Serbian and held by 5 libraries worldwide
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
by Georg Kreisel
(
Book
)
3 editions published between 1967 and 1972 in German and Undetermined and held by 4 libraries worldwide
Elements of Mathematical Logic
(
Book
)
1 edition published in 1967 in English and held by 4 libraries worldwide
Mathematical interpretation of formal systems
(
Book
)
3 editions published between 1955 and 1971 in English and held by 3 libraries worldwide
Five notes on transfinite progressions
by Georg Kreisel
(
Book
)
1 edition published in 1962 in English and held by 3 libraries worldwide
Modelltheorie : eine Einf. in d. mathemat Logik u. Grundlagentheorie
by G Kreisel
(
Book
)
2 editions published in 1972 in German and held by 2 libraries worldwide
Elements of mathematical logic
by Georg Kreisel
(
Book
)
3 editions published between 1967 and 1971 in English and Undetermined and held by 2 libraries worldwide
Elements of Mathematical Logic : Model Theory
(
Book
)
2 editions published between 1967 and 1971 in English and held by 2 libraries worldwide
Modelltheorie : Eine Einführung in die mathematische Logik und Grundlagentheorie
(
Book
)
1 edition published in 1972 in German and held by 2 libraries worldwide
Issledovanija po teorii dokazatelʹstv : sbornik statej
by Georg Kreisel
(
Book
)
1 edition published in 1981 in Russian and held by 2 libraries worldwide
Bertrand Arthur William Russell, Earl Russell : 1872 - 1970 ; elected F.R.S. 1908
by Georg Kreisel
(
Book
)
1 edition published in 1973 in English and held by 1 library worldwide
The study of recursive progressions of theories
(
Book
)
1 edition published in 1961 in English and held by 1 library worldwide Efforts centered on the characterization, by means of recursive progressions of theories, of various stratifications of athematical proof, such as finitist, classical number-theoretical, predicative, etc. This as paired with the study, by means of hierarchies, of various stratifications of mathematical notions, such as finitist function, effective function, predicative set, etc. In an expansion of the original proposal, tho e parts of mat ematics which are needed in a systematic study of the notion of proof were considered; in particular intuitionism, which takes the concept of constructive proof as its basic subject matter. (Author).
Algebraic proof theory
by G Kreisel
(
Book
)
1 edition published in 1969 in English and held by 1 library worldwide more
fewer
Audience Level
 Related IdentitiesAssociated Subjects
Archives Austria Biography Crick, Francis,--1916-2004 DNA--Structure Kreisel, Georg Logic, Symbolic and mathematical Mathematical analysis Mathematical models Mathematicians Mathematics--Philosophy Model theory Numerical analysis Philosophy Proof theory Proposition (Logic) Recursive functions Stanford University.--Dept. of Mathematics Stanford University.--Dept. of Philosophy Transfinite numbers Universities and colleges--Faculty
|
Alternative Names
Krajzel', G.
Kreisel, G. Крайзель, ГLanguages
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
