logo Sebina logo della rete bibliotecaria
visualizza la lista dei collegamenti ad altri cataloghi on-line
Altri canali di ricerca
accedi ai servizi a te riservati
servizi
apri la pagina di ricerca delle ultime novità acquisite
bollettino novità
aiuto in linea
help
Guida all'uso del Catalogo
info
Risorse elettroniche di Ateneo
Risorse elettroniche di Ateneo
indietro avanti
indietro avanti

nuova ricerca salva bibliografia salva ricerca suggerimento d'acquisto Altri canali di ricerca  
       
       
1 di 1
Clicca qui per la disponibilita' Ufficio di Biblioteca del Dipartimento di Matematica e Fisica
      
Testo a stampa (moderno)
Monografia  
Descrizione *Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek. - Oxford : Clarendon, 1993. - XII, 428 p. : ill. ; 24 cm.
ISBN 0198536909
Collana  Oxford logic guides 23
Autore secondario Clote, Peter G.
Krajicek, Jan
Matematica e fisica First-order arithmetic and fragments [MSC 2010] 03F30
Proof theory and constructive mathematics [MSC 2010] 03Fxx
Theory of computing [MSC 2010] 68Qxx
Luogo pubblicazione Oxford
Editori Clarendon
Anno pubblicazione 1993
Termini soggetto LO First-order arithmetic and fragments [MSC 2010] 03F30
MF Proof theory and constructive mathematics [MSC 2010] 03Fxx
MF Theory of computing [MSC 2010] 68Qxx
nuova ricerca salva bibliografia salva ricerca suggerimento d'acquisto Altri canali di ricerca