Concepedia

G. Kreisel

GK

39

Publications

2.6K

Citations

27

H-Index

1950

Active since

Affiliations

Stanford University(Current)

Reading Museum

University of Reading

Stanford Medicine

Université Paris Cité

G. Kreisel is an author at Stanford University specializing in formal methods, automated reasoning, and engineering.

Top concepts

Publications per year

1950–1987

39

Publications

39

A survey of proof theory

G. Kreisel · Journal of Symbolic Logic · 1968 · 211 citations

, , +13

Formal systems for some branches of intuitionistic analysis

G. Kreisel, A. S. Troelstra · Annals of Mathematical Logic · 1970 · 181 citations

, , +4

On weak completeness of intuitionistic predicate logic

G. Kreisel · Journal of Symbolic Logic · 1962 · 148 citations

, , +8

Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

G. Kreisel, Amit Levy · Mathematical logic quarterly · 1968 · 146 citations

, , +7

On the interpretation of non-finitist proofs–Part II

G. Kreisel · Journal of Symbolic Logic · 1952 · 133 citations

, , +9

Rows per page

1–5 of 39