Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
»
Year
| Month |
Week
|
Day
« prev
Marzo 2015
next »
Lun
Mar
Mer
Gio
Ven
Sab
Dom
10
1
11
2
3
4
5
6
7
8
12
9
10
11
12
13
14
15
13
16
17
18
19
20
Key 1
Dimostrazioni e tipi nella logica del secondo ordine (seconda parte)
11:30
21
22
14
23
24
25
26
Key 2
"Proofs and types", 25 years later
26/03/2015
Key 2
"Proofs and types", 25 years later
14:00
27
28
Key 2
"Proofs and types", 25 years later
28/03/2015
29
14
30
31
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare