25/03/2014 - 17:00
|
Scuola di Lettere, Filosofia e Lingue, via Ostiense 234, aula 16 (piano terra)
|
Prof. Mitsuhiro OKADA (Keio University - Tokyo)
|
Completeness and cut elimination theorems, and the Gödel-Kolmogorof interpretation
|
||