登入選單
Google圖書搜尋
Another Characterization of Intuitionistic Proposi...
作者
Rosalie Iemhoff
出版2000
ISBN
OCLC:67435068
Provability Logic and Admissible Rules
作者
Rosalie Iemhoff
出版2001
ISBN
9057760649 / 9789057760648
主題
Intuitionistic mathematics
On the Admissible Rules of Intuitionistic Proposit...
作者
Rosalie Iemhoff
出版1999
ISBN
9039323674 / 9789039323670
A Modal Analysis of Some Principles of the Provabi...
作者
R. Iemhoff
出版1999
ISBN
9039320454 / 9789039320457