top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advances in logic : the North Texas logic conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors
Advances in logic : the North Texas logic conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors
Autore North Texas Logic Conference <2004 ; University of North Texas>
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, c2007
Descrizione fisica vii, 150 p. : ill. ; 26 cm
Disciplina 511.3
Altri autori (Persone) Gao, Suauthor
Jackson, Steveauthor
Zhang, Yiauthor
Collana Contemporary mathematics, 0271-4132 ; 425
Soggetto topico Logic, Symbolic and mathematical - Congresses
ISBN 0821838199
Classificazione AMS 03C52
AMS 03D25
AMS 03D35
AMS 03D80
AMS 03E05
AMS 03E15
AMS 03E60
AMS 05C12
AMS 52C20
LC QA9.A1N67
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002739769707536
North Texas Logic Conference <2004 ; University of North Texas>  
Providence, R. I. : American Mathematical Society, c2007
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
Autore Pour-El, Marian B.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1989
Descrizione fisica x, 206 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Richards, J. Ianauthor
Collana Perspectives in mathematical logic
Soggetto topico Computable functions
Mathematical analysis
Physics
ISBN 3540500359
Classificazione AMS 03D80
AMS 03F60
AMS 46N
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000773159707536
Pour-El, Marian B.  
Berlin : Springer-Verlag, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui