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.
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Edizione [Amsterdam : Elsevier, 2004]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
ISBN 8-0-444-50466-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0092459
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Edizione [Amsterdam : Elsevier, 2004]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
ISBN 8-0-444-50466-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0092459
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Mathematical logic / George Tourlakis
1: Mathematical logic / George Tourlakis
Autore Tourlakis, George
Pubbl/distr/stampa Cambridge, : Cambridge university, 2003
Descrizione fisica XI, 328 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 05-217-5373-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050262
Tourlakis, George  
Cambridge, : Cambridge university, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Mathematical logic / George Tourlakis
1: Mathematical logic / George Tourlakis
Autore Tourlakis, George
Pubbl/distr/stampa Cambridge, : Cambridge university, 2003
Descrizione fisica XI, 328 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 05-217-5373-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0050262
Tourlakis, George  
Cambridge, : Cambridge university, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000
Descrizione fisica XIX, 338 p. : ill. ; 24 cm.
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 978-01-985004-8-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0021138
Cori, René  
Oxford, : Oxford University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000
Descrizione fisica XIX, 338 p. : ill. ; 24 cm.
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 978-01-985004-8-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0021138
Cori, René  
Oxford, : Oxford University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Recursive model theory
1: Recursive model theory
Pubbl/distr/stampa Amsterdam, : Elsevier, 1998
Descrizione fisica XLVI, 620 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C57 - Computable structure theory, computable model theory [MSC 2020]
ISBN 04-445-0003-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0023706
Amsterdam, : Elsevier, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Recursive model theory
1: Recursive model theory
Pubbl/distr/stampa Amsterdam, : Elsevier, 1998
Descrizione fisica XLVI, 620 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C57 - Computable structure theory, computable model theory [MSC 2020]
ISBN 04-445-0003-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0023706
Amsterdam, : Elsevier, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Sets, relations and mappings / T.S. Blyth, E.F. Robertson
1: Sets, relations and mappings / T.S. Blyth, E.F. Robertson
Autore Blyth, Thomas S.
Pubbl/distr/stampa Cambridge, : Cambridge University press, 1984
Descrizione fisica X, 97 p. ; 21 cm.
Altri autori (Persone) Robertson, Edmund F.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-212-7285-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0029334
Blyth, Thomas S.  
Cambridge, : Cambridge University press, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Sets, relations and mappings / T.S. Blyth, E.F. Robertson
1: Sets, relations and mappings / T.S. Blyth, E.F. Robertson
Autore Blyth, Thomas S.
Pubbl/distr/stampa Cambridge, : Cambridge University press, 1984
Descrizione fisica X, 97 p. ; 21 cm.
Altri autori (Persone) Robertson, Edmund F.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-212-7285-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0029334
Blyth, Thomas S.  
Cambridge, : Cambridge University press, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui