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
Pubbl/distr/stampa Providence : American Mathematical Society, c2007
Descrizione fisica vii, 150 p. : ill. ; 24 cm
Disciplina 511.3
Collana Contemporary mathematics
Soggetto non controllato Logica - Simbolica - Congressi
Teoria dei modelli
ISBN 978-0-8218-3819-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008566590403321
North Texas Logic Conference : <2004  
Providence : American Mathematical Society, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Boolean-valued models and independence proofs in set theory / by J. L. Bell
Boolean-valued models and independence proofs in set theory / by J. L. Bell
Pubbl/distr/stampa Oxford : Clarendon Press, 1977
Descrizione fisica xviii, 126 p. ; 24 cm
Disciplina 160
511.32
Collana Oxford Logic Guides
Soggetto non controllato Teoria degli insiemi
Algebra astratta
Teoria dei modelli
ISBN 0-19-853168-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000959300403321
Oxford : Clarendon Press, 1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Causal modeling / Herbert B. Asher
Causal modeling / Herbert B. Asher
Autore Asher, Herbert B.
Edizione [2nd ed.]
Pubbl/distr/stampa Newbury park : SAGE, 1983
Descrizione fisica 96 p. ; 23 cm
Collana Quantitative applications in the social sciences
Soggetto non controllato Teoria dei modelli
ISBN 0-8039-0654-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000523820403321
Asher, Herbert B.
Newbury park : SAGE, 1983
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. F. Knight
Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. F. Knight
Autore Ash, C. J.
Pubbl/distr/stampa Amsterdam : Elsevier, c2000
Descrizione fisica xv, 346 p. ; 24 cm
Disciplina 511.3
Altri autori (Persone) Knight, James Thomson
Collana Studies in logic and the foundations of mathematics
Soggetto non controllato Teoria delle numerazioni
Teoria dei modelli
ISBN 0-444-50072-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001499670403321
Ash, C. J.  
Amsterdam : Elsevier, c2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Essential stability theory / Steven Buechler
Essential stability theory / Steven Buechler
Autore Buechler, Steven
Pubbl/distr/stampa Berlin : Springer-Verlag, 1996
Descrizione fisica xiv, 355 p. ; 24 cm
Disciplina 511.3
Collana Perspectives in mathematical logic
Soggetto non controllato Teoria dei modelli
Stabilita
ISBN 3-540-61011-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001353760403321
Buechler, Steven  
Berlin : Springer-Verlag, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla teoria dei modelli a alla metamatematica dell'algebra / Abraham Robinson ; [traduzione di Silvio Bozzi]
Introduzione alla teoria dei modelli a alla metamatematica dell'algebra / Abraham Robinson ; [traduzione di Silvio Bozzi]
Autore ROBINSON, Abraham
Pubbl/distr/stampa Torino : Boringhieri, 1974
Descrizione fisica 334 p. : ill. ; 21 cm
Disciplina 511.8
Collana Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetto topico Metematica
Soggetto non controllato Teoria dei modelli
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990000236990203316
ROBINSON, Abraham  
Torino : Boringhieri, 1974
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson
Autore Robinson, Abraham
Pubbl/distr/stampa Torino : Boringhieri, 1974
Collana Serie di logica matematica
Soggetto non controllato Teoria dei modelli
Algebra
Teoria delle equazioni
Calcolo vettoriale
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001285400403321
Robinson, Abraham  
Torino : Boringhieri, 1974
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La teoria dei modelli nelle scienze sociali / Alessandro Bruschi
La teoria dei modelli nelle scienze sociali / Alessandro Bruschi
Autore Bruschi, Alessandro
Pubbl/distr/stampa Bologna : il Mulino, 1971
Descrizione fisica 336 p. ; 22 cm
Disciplina 300.1
Collana Studi e ricerche
Soggetto non controllato Teoria dei modelli
SociologiaMetodiTeoria dei modelli
Scienze socialiTeoria dei modelli
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000014412
Bruschi, Alessandro  
Bologna : il Mulino, 1971
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Metamathematics of first-order arithmetic / Petr Hajek, Pavel Pudlak
Metamathematics of first-order arithmetic / Petr Hajek, Pavel Pudlak
Autore Hajek, Petr
Edizione [Second printing]
Pubbl/distr/stampa Berlin [etc.] : Springer, 1998
Descrizione fisica xiv, 460 p. ; 24 cm
Disciplina 511.3
Collana Perspectives in mathematical logic
Soggetto non controllato Logica matematica
Aritmetica del i ordine
Complessita di computabilita
Classi di complessita
Teoria dei modelli
Aritmetica non standard
ISBN 3-540-63648-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001176540403321
Hajek, Petr  
Berlin [etc.] : Springer, 1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
MODEL theory and algebraic geometry / BOUSCAREN, Elisabeth (ed.)
MODEL theory and algebraic geometry / BOUSCAREN, Elisabeth (ed.)
Pubbl/distr/stampa Berlin : Springer, c1998
Descrizione fisica x, 211 p. ; 25 cm
Disciplina 511.8
Collana Lecture Notes in Mathematics
Soggetto non controllato Teoria dei modelli
ISBN 3-540-64863-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001434240403321
Berlin : Springer, c1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui