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.
A course in mathematical logic / J. L. Bell, M. Machover
A course in mathematical logic / J. L. Bell, M. Machover
Autore Bell, John Lane
Pubbl/distr/stampa Amsterdam : North-Holland, 1977
Soggetto non controllato Logica matematica - Manuali
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001132260403321
Bell, John Lane  
Amsterdam : North-Holland, 1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A course in model theory : An itroduction to contemporary mathematical logic / Bruno Poizat
A course in model theory : An itroduction to contemporary mathematical logic / Bruno Poizat
Autore Poizat, Bruno
Pubbl/distr/stampa New Work : Springer, c2000
Descrizione fisica xxxi, 443 p. ; 25 cm
Disciplina 511.8
Collana Universitexts
Soggetto non controllato Logica matematica - Manuali
ISBN 0-387-98655-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001447390403321
Poizat, Bruno  
New Work : Springer, c2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla logica matematica / E. Mendelson
Introduzione alla logica matematica / E. Mendelson
Autore Mendelson, Elliott
Edizione [Ristampa, 2010]
Pubbl/distr/stampa Torino : Bollati Boringhieri, 1972
Descrizione fisica 353 p. ; 21 cm
Disciplina 511.3
Collana Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetto non controllato Logica matematica - Manuali
ISBN 9788833952840
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990009346030403321
Mendelson, Elliott  
Torino : Bollati Boringhieri, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduzione alla logica matematica / Elliott Mendelson
Introduzione alla logica matematica / Elliott Mendelson
Autore Mendelson, Elliott
Pubbl/distr/stampa Torino : Boringhieri, 1972
Descrizione fisica 353 p. ; 21 cm
Disciplina 511.3
Collana Serie di logica matematica
Soggetto non controllato Logica matematica - Manuali
ISBN 978-88-339-5284-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001184020403321
Mendelson, Elliott  
Torino : Boringhieri, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logica matematica : Corso introduttivo / Vito Michele Abrusci
Logica matematica : Corso introduttivo / Vito Michele Abrusci
Autore Abrusci, Vito Michele
Pubbl/distr/stampa Bari : Laterza, 1991
Descrizione fisica 187 p. ; 24 cm
Disciplina 510.3
Soggetto non controllato Logica matematica - Manuali
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001330750403321
Abrusci, Vito Michele  
Bari : Laterza, 1991
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci
Seminari di logica lineare : Calcolo dei sequenti e semantica delle fasi / Vito Michele Abrusci
Autore Abrusci, Vito Michele
Pubbl/distr/stampa Bari : Laterza, 1991
Descrizione fisica 194 p. ; 24 cm
Disciplina 510.3
Soggetto non controllato Logica matematica - Manuali
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001330760403321
Abrusci, Vito Michele  
Bari : Laterza, 1991
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Sets : naive ,axiomatic and applied / by Dalen ; Doets ; De Swart
Sets : naive ,axiomatic and applied / by Dalen ; Doets ; De Swart
Autore Dalen, Dirk van <1932- >
Pubbl/distr/stampa Oxford [etc.] : Pergamon Press, 1978
Collana International series in pure and applied mathematics
Soggetto non controllato Teoria degli insiemi - Manuali
Logica matematica - Manuali
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001143440403321
Dalen, Dirk van <1932- >  
Oxford [etc.] : Pergamon Press, 1978
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui