Descrizione
Bounded arithmetic. Bounded arithmetic
Dettagli Bibliografici
EAN ISBN-13:9788870881509
ISBN-10:8870881504
Titolo:Bounded arithmetic
Autore: Buss Samuel R.
Editore:Bibliopolis
Data Pubblicazione:1986
Collana:Studies in proof theory.Lecture notes
Pagine:222
Genere:matematica
Classificazione:Logica matematica
Argomento :Logica matematica
