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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|