In a series of works in the early 1950s he surveyed modal , intuitionistic , probabilistic , and other philosophical logics .
In an appendix to his book on mathematical existence , Becker set the problem of finding a formal calculus for intuitionistic logic .
In a series of works in the early 1950s Becker surveyed modal , intuitionistic , probabilistic , and other philosophical logics .
In an appendix to his book on mathematical existence , Becker set the problem of finding a formal calculus for intuitionistic logic .