|
|
||
|
|
|
MR460116
(57 #112)
02J99
Sambin, Giovanni An effective fixed-point theorem in intuitionistic diagonalizable algebras. The algebraization of the theories which express Theor, IX. Studia Logica 35 (1976), no. 4, 345–361. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|