Vai al contenuto principale della pagina

Realizability : an introduction to its categoricl side / Jaap van Oosten



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Oosten, Jaap : van Visualizza persona
Titolo: Realizability : an introduction to its categoricl side / Jaap van Oosten Visualizza cluster
Pubblicazione: Amsterdam : Elsevier, c2008
Descrizione fisica: XVI, 310 p. ; 24 cm
Disciplina: 511.33
Soggetto non controllato: Logica categoriale
Logica algebrica
Titolo autorizzato: Realizability : an introduction to its categoricl side  Visualizza cluster
ISBN: 978-0-444-51584-1
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990008820350403321
Lo trovi qui: Univ. Federico II
Collocazione: C-30-(152
Opac: Controlla la disponibilità qui