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.

Biblioteca

MARC Lista (tabellare)
A concise introduction to mathematical logic / W. Rautenberg
A concise introduction to mathematical logic / W. Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2nd edit]
Pubbl/distr/stampa New York : Springer, c2006
Descrizione fisica xvii, 256 p. ; 24 cm
Disciplina 511.3
Collana Universitext
Soggetto non controllato Logica matematica - Fondamenti
Programmazione logica
ISBN 0-387-30294-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008402310403321
Rautenberg, Wolfgang  
New York : Springer, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 2006
Descrizione fisica XVII, 256 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 03-87302-94-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0059017
Rautenberg, Wolfgang  
New York, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 2006
Descrizione fisica XVII, 256 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 03-87302-94-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0059017
Rautenberg, Wolfgang  
New York, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 2006
Descrizione fisica XVII, 256 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 03-87302-94-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00059017
Rautenberg, Wolfgang  
New York, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Classical logic / Wolfgang Rautenberg (editor)
Classical logic / Wolfgang Rautenberg (editor)
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1987
Descrizione fisica XXXIX, 485 p. ; 28 cm.
Collana Perspectives in mathematical logic
ISBN 0387173218
3540173218
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001210980403321
Berlin ; New York : Springer-Verlag, 1987
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Non-classical logics / Wolfgang Rautenberg (editor)
Non-classical logics / Wolfgang Rautenberg (editor)
Autore Rautenberg, Wolfgang
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1987
Descrizione fisica XXXVII, 469 p. ; 28 cm
Collana Perspectives in mathematical logic
ISBN 038715521X
354015521X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001240630403321
Rautenberg, Wolfgang  
Berlin ; New York : Springer-Verlag, 1987
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui