Metodi Tableaux per la logica classica e modale

di Alberto Artosi | CLUEB 1996

Attualmente non disponibile

A partire da

13,00 €

Descrizione

Introduzione allo studio dei metodi di dimostrazione naturale della logica classica e modale.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 1 gennaio 1996
  • 170 p.
  • ITA
  • 9788880912873

Ti potrebbe interessare anche

Librerie di Roma | Metodi Tableaux per la logica classica e modale
logo regione