Lesniewski's systems of logic and foundations of mathematics / Rafal Urbaniak |
Autore | Urbaniak, Rafal |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | XIII, 229 p. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
Foundations of mathematics
History of logic Lesniewski's Mereology Lesniewski's Ontology Lesniewski's Protothetic Lesniewski's life and philosophical development Nelson-Grelling paradox Semantic categories Semantic categories and the language of Protothetic Stanislaw Lesniewski |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0103149 |
Urbaniak, Rafal
![]() |
||
Cham, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic in Question Talks from the Annual Sorbonne Logic Workshop (2011- 2019) / Jean-Yves Béziau ... [et al.] editors |
Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2022 |
Descrizione fisica | xiii, 750 p. : ill. ; 24 cm |
Soggetto non controllato |
Boolean logic
History of logic Logical reasoning Philosophical Logic Philosophical thinking |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0276608 |
Cham, : Birkhäuser, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical Skills : Social-Historical Perspectives / Julie Brumberg-Chaumont, Claude Rosental editors |
Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2021 |
Descrizione fisica | viii, 172 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01-XX - History and biography [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
Soggetto non controllato |
Anthropology of logic
History of logic Logical reasoning Logical skills as social norms Logical skills to assess rationality Logical skils Medieval notions of idiocy and rationality Natural logic Sociology of logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274402 |
Cham, : Birkhäuser, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Modern logic 1850-1950, east and west / Francine F. Abeles, Mark E. Fuller editors |
Pubbl/distr/stampa | [Basel], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XIII, 258 p. : ill. ; 24 cm |
Soggetto topico |
01A60 - History of mathematics in the 20th century [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 01A55 - History of mathematics in the 19th century [MSC 2020] |
Soggetto non controllato |
Algebraic Logic
Bertrand Russell Charles Sanders Peirce History of logic History of proof theory Mathematical logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114997 |
[Basel], : Birkhäuser, : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xxiv, 552 p. : ill. ; 24 cm |
Soggetto non controllato |
Classical Logic
Deductive logic History of logic Inferential Definitions Logical constants Mathematical logic Modalities Negation Non-classical logic Proof-Theoretic Semantics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0278190 |
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 2 / Arnold Koslow, Arthur Buchsbaum |
Autore | Koslow, Arnold |
Pubbl/distr/stampa | Cham, : Birkhäuser, 2015 |
Descrizione fisica | XV, 604 p. : ill. ; 24 cm |
Altri autori (Persone) | Buchsbaum, Arthur |
Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B22 - Abstract deductive systems [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B62 - Combined logics [MSC 2020] |
Soggetto non controllato |
Abstract deductive systems
Categorical logic History of logic Non-classical logics Philosophy of logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0113375 |
Koslow, Arnold
![]() |
||
Cham, : Birkhäuser, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 1 / Arnold Koslow, Arthur Buchsbaum editors |
Pubbl/distr/stampa | Cham, : Birkhäuser, 2015 |
Descrizione fisica | XII, 520 p. : ill. ; 24 cm |
Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B22 - Abstract deductive systems [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B62 - Combined logics [MSC 2020] |
Soggetto non controllato |
Abstract deductive systems
Categorical logic History of logic Non-classical logics Philosophy of logic Square of opposition |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0125360 |
Cham, : Birkhäuser, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|