Il tuo browser non supporta JavaScript!
Vai al contenuto della pagina

Bibliopolis: Testi per lo studio della logica matem.

La teoria della dimostrazione di Hilbert

La teoria della dimostrazione di Hilbert

Enrico Moriconi

Libro

editore: Bibliopolis

anno edizione: 2007

pagine: 128

18,00

Completezza, compattezza e indecidibilità

Completezza, compattezza e indecidibilità

Alfred B. Manaster

Libro

editore: Bibliopolis

anno edizione: 2008

pagine: 196

23,00

Inserire il codice per il download.

Inserire il codice per attivare il servizio.