Hajime Ishihara: Some Conservative Extension Results of Classical Logic over Intuitionistic Logic
Hajime Ishihara, Japan Advanced Institute of Science and Technology
Tid: On 2012-03-21 kl 10.00 - 11.45
Plats: Room 16, Building 5, Kräftriket, Department of Mathematics, Stockholm University