An effective fixed-point theorem in intuitionistic diagonalizable algebras
Giovanni SambinVolume:
35
Year:
1976
Language:
english
Pages:
17
Journal:
Studia Logica
DOI:
10.1007/bf02123402
File:
PDF, 967 KB
english, 1976