Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
| Titolo | Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità |
| Autore | Silvio Ghilardi |
| Collana | Prospettiva della ricerca logica |
| Editore | Polimetrica |
| Formato |
Libro: Copertina morbida |
| Pagine | 176 |
| Pubblicazione | 01/2004 |
| ISBN | 9788876990069 |