Testi per studio della logica matematica

Visualizzazione di 2 risultati

• 

  

  La teoria della dimostrazione di Hilbert

  Autore: Moriconi Enrico

  Moriconi espone i temi di fondo del programma hilbertiano senza continua

  €18.00

• 

  

  

  Completezza, compattezza, indecidibilità

  Autore: Manaster Alfred B.

  Questo volume presenta in forma compatta alcune delle tecniche e continua

  €23.00