A note on interpretations of Heyting alg
β
Walter Taylor
π
Article
π
1987
π
Springer
π
English
β 135 KB