A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Sato, Masahiko
View the document Sato, Masahiko (Masahiko Sato) -- Classical Brouwer-Heyting-Kolmogorov interpretation - 1997
View the document Sato, Masahiko (Masahiko Sato) -- Theory of Judgments and Derivations - 2001