Kleene and Kreisel studied formal versions of intuitionistic mathematics, particularly in the context of proof theory.
Kleene og Kreisel studerede formelle versioner af intuitionistisk matematik, særligt i konteksten af bevisteori.