Quel ramo del lago

* Quel ramo del lago

Interessi:

• matematica e logica

• letteratura

• Wikipedia

• il mondo

Voci create:

• Logica combinatoria
• Logica di ordine superiore
• Logica algebrica
• Logica categorica
• Logica non classica
• Logica informale
• Logica universale

Voci interessanti:

• Teoria della dimostrazione
• Teoria dei modelli
• Ponti di Firenze