| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990003481020203316 |
|
|
Titolo |
ACM Transactions on architecture and code optimization / Association for Computing Machinery |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : Association for Computing Machinery |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Elebarazione elettronica - Periodici |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Comincia nel 2004 |
Descrizione basata su Vol.1 n.1(2006)- |
Incluso nel pacchetto: ACM DIGITAL LIBRARY CORE PACKAGE |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484565803321 |
|
|
Autore |
Pietruszczak Andrzej |
|
|
Titolo |
Foundations of the Theory of Parthood : A Study of Mereology / / by Andrzej Pietruszczak |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIII, 285 p. 729 illus., 4 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Trends in Logic, Studia Logica Library, , 1572-6126 ; ; 54 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Analysis (Philosophy) |
Logic |
Algebra |
Analytic Philosophy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Foreword -- Chapter I. Introduction -- Chapter II. “Existentially neutral” theories of parthood -- Chapter III. Theories of parthood with sum existence axioms -- Chapter IV. Theories of parthood without transitivity -- Appendix A. Logic and set theory -- Appendix B. Algebra. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics related to mereology, such as parthood without antisymmetry, non-existence of the zero element, and Leśniewski's notion of class and set. The book also delves into three theories of parthood: two concern the sum existence axioms, and the third contends with transitivity of parthood. This is the first systematic analysis of systems of mereology of its kind and is suitable for students, scholars, logicians, and mathematicians who wish to further their knowledge of mereology. Original polish publication “Podstawy teorii części” by The Nicolaus Copernicus University Press. |
|
|
|
|
|
|
|
| |