Ciao!
Mi serve materiale sul TEOREMA DI INTERPOLAZIONE DI CRAIG per la logica proposizionale. In particolare mi servirebbe una dimostrazione esaustiva e anche qualcosa sulle conseguenze di questo teorema sulla logica proposizionale. Se qualcuno ne ha sentito parlare e conosce qualche buon libro o articolo che ne parla me lo faccia sapere!!!
Grazie!
2 messaggi
• Pagina 1 di 1
teorema di interpolazione di Craig
da Cler » 14/03/2007, 12:08
Benedicat vobis omnipotens Logos: Pater Pythagoras, Filius Archimedes, et Spiritus Sanctus Newtonius.
- Cler
- Starting Member
- Messaggio: 13 di 24
- Iscritto il: 16/01/2007, 18:58
- Località: Firenze
da TomSawyer » 14/03/2007, 13:34
I watched a snail crawl along the edge of a straight razor. That's my dream. That's my nightmare. Crawling, slithering, along the edge of a straight... razor... and surviving., Walter E. Kurtz
-
TomSawyer - Advanced Member
- Messaggio: 1319 di 2270
- Iscritto il: 16/11/2005, 16:18
2 messaggi
• Pagina 1 di 1
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Chi c’è in linea
Visitano il forum: Nessuno e 1 ospite