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
Categoricity / John T. Baldwin
Categoricity / John T. Baldwin
Autore Baldwin, John T.
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, c2009
Descrizione fisica xi, 235 p. : ill. ; 26 cm
Disciplina 511.3
Collana University lecture series, 1047-3998 ; 50
Soggetto topico Completeness theorem
Model theory
ISBN 9780821848937
Classificazione AMS 03C30
AMS 03C45
AMS 03C52
LC QA9.67.B35
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001836079707536
Baldwin, John T.  
Providence, R. I. : American Mathematical Society, c2009
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui