thedarkhero

Ominide
Iscritto il 6/06/11
Invia messaggio
Totale punti 2
Livello Ominide
Appunti
0
Discussioni
1352
Ultime attività
Ha fatto una domanda:
[Logica] Quantificatore del secondo ordine
7 Novembre 2011
Ha fatto una domanda:
Filtrazione generica
23 Ottobre 2011
Ha risposto alla domanda:
[Logica intuizionista] Negazione
21 Ottobre 2011
Ha risposto alla domanda:
[Logica intuizionista] Negazione
21 Ottobre 2011
Ha fatto una domanda:
[Logica intuizionista] Negazione
20 Ottobre 2011
Ha fatto una domanda:
Logica intuizionista: disgiunzione
16 Ottobre 2011