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.
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski
Autore Adamowicz, Zofia
Pubbl/distr/stampa New York, : Wiley, 1997
Descrizione fisica VIII, 260 p. ; 25 cm.
Altri autori (Persone) Zbierski, Pawel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 04-7106-026-7
978-04-7106-026-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051004
Adamowicz, Zofia  
New York, : Wiley, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski
Autore Adamowicz, Zofia
Pubbl/distr/stampa New York, : Wiley, 1997
Descrizione fisica VIII, 260 p. ; 25 cm
Altri autori (Persone) Zbierski, Pawel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 04-7106-026-7
978-04-7106-026-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051004
Adamowicz, Zofia  
New York, : Wiley, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski
Autore Adamowicz, Zofia
Pubbl/distr/stampa New York, : Wiley, 1997
Descrizione fisica VIII, 260 p. ; 25 cm
Altri autori (Persone) Zbierski, Pawel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 04-7106-026-7
978-04-7106-026-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051004
Adamowicz, Zofia  
New York, : Wiley, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
Autore Kapsner, Andreas
Pubbl/distr/stampa Cham, : Springer, 2014
Descrizione fisica X, 217 p. : ill. ; 24 cm
Soggetto topico 03Bxx - General logic [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
Soggetto non controllato Analetheism
Anti-Realism
Constructive logic
Dialetheism
Falsificationism
Faultless Disagreement
Intuitionistic Logic
Kripke Semantics
Michael Dummett
Nelson Logic
Paraconsistent Logic
Philosophical Logic
Strong Negation
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0103364
Kapsner, Andreas  
Cham, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
Autore Kapsner, Andreas
Pubbl/distr/stampa Cham, : Springer, 2014
Descrizione fisica X, 217 p. : ill. ; 24 cm
Soggetto topico 03Axx - Philosophical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Analetheism
Anti-Realism
Constructive logic
Dialetheism
Falsificationism
Faultless Disagreement
Intuitionistic Logic
Kripke Semantics
Michael Dummett
Nelson Logic
Paraconsistent Logic
Philosophical Logic
Strong Negation
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00103364
Kapsner, Andreas  
Cham, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner
Autore Kapsner, Andreas
Edizione [Cham : Springer, 2014]
Pubbl/distr/stampa X, 217 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03Bxx - General logic [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
ISBN 8-3-319-05205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0103364
Kapsner, Andreas  
X, 217 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Autore Ebbinghaus, Heinz-Dieter
Edizione [3. ed]
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica ix, 304 p. : ill. ; 24 cm
Altri autori (Persone) Flum, Jörg
Thomas, Wolfgang <1947- >
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
Soggetto non controllato Axiom system logic
Computability logic
First-order language
First-order logic
Graduate mathematical logic
Gödel’s completeness theorem
Herbrand's theorem
Infinitary languages
Lindström’s theorem
Logic computer science
Mathematical logic
Mathematical provability
Model theory logic
Presburger arithmetic
Propositional logic
Second order logic
Trakhtenbrot’s theorem
Weak monadic second order
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0274931
Ebbinghaus, Heinz-Dieter  
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Autore Ebbinghaus, Heinz-Dieter
Edizione [3. ed]
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica ix, 304 p. : ill. ; 24 cm
Altri autori (Persone) Flum, Jörg
Thomas, Wolfgang <1947- >
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
03Bxx - General logic [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
Soggetto non controllato Axiom system logic
Computability logic
First-order language
First-order logic
Graduate mathematical logic
Gödel’s completeness theorem
Herbrand's theorem
Infinitary languages
Lindström’s theorem
Logic computer science
Mathematical logic
Mathematical provability
Model theory logic
Presburger arithmetic
Propositional logic
Second order logic
Trakhtenbrot’s theorem
Weak monadic second order
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00274931
Ebbinghaus, Heinz-Dieter  
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / Joseph R. Shoenfield
Mathematical logic / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Urbana, Ill., : Association for Symbolic Logic, 1967
Descrizione fisica VII, 344 p. ; 23 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-15-688-1135-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050877
Shoenfield, Joseph R.  
Urbana, Ill., : Association for Symbolic Logic, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / Joseph R. Shoenfield
Mathematical logic / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Urbana, Ill., : Association for Symbolic Logic, 1967
Descrizione fisica VII, 344 p. ; 23 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-15-688-1135-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0050877
Shoenfield, Joseph R.  
Urbana, Ill., : Association for Symbolic Logic, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui