Cover von Towards CERes in intuitionistic logic opens in new tab

Towards CERes in intuitionistic logic

Year: 2012
Media group: ARTICLE

Details

Search for this author
Year: 2012
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 485-499
Participating parties: Search for this character Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno
Media group: ARTICLE