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.
Alcune note su la "Filosofia dell'aritmetica" di Edmund Husserl in relazione alle idee filosofico-scientifiche della seconda metà dell'800 / Albano Unia
| Alcune note su la "Filosofia dell'aritmetica" di Edmund Husserl in relazione alle idee filosofico-scientifiche della seconda metà dell'800 / Albano Unia |
| Autore | Unia, Albano |
| Pubbl/distr/stampa | [Sassari] : presso l'Istituto di filosofia, 1978 |
| Descrizione fisica | 10 p. ; 25 cm. |
| Disciplina | 164 |
| Collana | Università di Sassari. Memorie del Seminario di storia della filosofia della Facoltà di magistero ; 10 |
| Soggetto topico |
Husserl, Edmund. Filosofia dell'aritmetica
Filosofia e matematica - Sec. 19 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002235689707536 |
Unia, Albano
|
||
| [Sassari] : presso l'Istituto di filosofia, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
L'analisi filosofica : origini e sviluppi della filosofia analitica / James Opie Urmson
| L'analisi filosofica : origini e sviluppi della filosofia analitica / James Opie Urmson |
| Autore | Urmson, James Opie |
| Pubbl/distr/stampa | Milano : Mursia, [1966] |
| Descrizione fisica | 245 p. ; 23 cm. |
| Disciplina | 164 |
| Collana | Biblioteca europea di cultura |
| Soggetto topico | Positivismo logico |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001779399707536 |
|
Urmson, James Opie
|
||
| Milano : Mursia, [1966] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Annals of mathematical logic
| Annals of mathematical logic |
| Pubbl/distr/stampa | Amsterdam, : North-Holland |
| Disciplina | 164 |
| ISSN | 0003-4843 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Note periodicità | Trimestrale |
| Record Nr. | UNINA-990008899530403321 |
| Amsterdam, : North-Holland | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
| Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler |
| Autore | Chang Chen Chung |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (181 pages) |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Model theory |
| Soggetto non controllato |
Compact space
Compactness theorem Continuous function Logical connective Model theory Set function Truth value |
| ISBN | 1-4008-8205-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER I. TOPOLOGICAL PRELIMINARIES -- CHAPTER II. CONTINUOUS LOGICS -- CHAPTER III. MODEL-THEORETIC PRELIMINARIES -- CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS -- CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS -- CHAPTER VI. SPECIAL MODELS -- CHAPTER VII. CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS -- HISTORICAL NOTES -- BIBLIOGRAPHY -- INDEX OF SYMBOLS -- INDEX OF DEFINITIONS -- INDEX OF EXERCISES -- Backmatter |
| Record Nr. | UNINA-9910154748803321 |
|
Chang Chen Chung
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dal neopositivismo alla filosofia analitica / Dario Antiseri
| Dal neopositivismo alla filosofia analitica / Dario Antiseri |
| Autore | Antiseri, Dario |
| Pubbl/distr/stampa | Roma : Abete, stampa 1966 |
| Descrizione fisica | 305 p. ; 22 cm |
| Disciplina | 164 |
| Soggetto topico | Positivismo logico |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002361289707536 |
|
Antiseri, Dario
|
||
| Roma : Abete, stampa 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Dal neopositivismo alla filosofia analitica / Dario Antiseri
| Dal neopositivismo alla filosofia analitica / Dario Antiseri |
| Autore | Antiseri, Dario |
| Pubbl/distr/stampa | Roma : Abete, stampa 1966 |
| Descrizione fisica | 305 p. ; 22 cm |
| Disciplina | 164 |
| Collana | Itinerari critici ; 3 |
| Soggetto topico |
Filosofia analitica
Neopositivismo |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002001379707536 |
|
Antiseri, Dario
|
||
| Roma : Abete, stampa 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Dal neopositivismo alla filosofia analitica / Dario Antiseri
| Dal neopositivismo alla filosofia analitica / Dario Antiseri |
| Autore | Antiseri, Dario |
| Pubbl/distr/stampa | Roma : Abete, 1966 |
| Descrizione fisica | 305 p. ; 22 cm. |
| Disciplina | 164 |
| Collana | Itinerari critici ; 3 |
| Soggetto topico | Positivismo logico |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002507739707536 |
|
Antiseri, Dario
|
||
| Roma : Abete, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Elementi di logica matematica / Corrado Mangione
| Elementi di logica matematica / Corrado Mangione |
| Autore | Mangione, Corrado <1930-2009> |
| Pubbl/distr/stampa | Torino : Boringhieri, ©1964 |
| Descrizione fisica | 127 p. ; 21 cm |
| Disciplina |
164
511.3 160 |
| Collana | Serie di ricerca operativa |
| Soggetto non controllato |
Logica matematica
Logica e fondamenti Logica Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000645160403321 |
|
Mangione, Corrado <1930-2009>
|
||
| Torino : Boringhieri, ©1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enumerability, decidability, computability : an introduction to the theory of recursive functions / / Hans Hermes ; Translated by Gabor T. Herman and O. Plassmann
| Enumerability, decidability, computability : an introduction to the theory of recursive functions / / Hans Hermes ; Translated by Gabor T. Herman and O. Plassmann |
| Autore | Hermes Hans |
| Edizione | [1st ed. 1965.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1965] |
| Descrizione fisica | 1 online resource (X, 245 p.) |
| Disciplina | 164 |
| Collana | Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics |
| Soggetto topico | Mathematics |
| ISBN | 3-662-11686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introductory Reflections on Algorithms -- 2. Turing Machines -- 3. ?-Recursive Functions -- 4. The Equivalence of Turing-Computability and?-Recursiveness -- 5. Recursive Functions -- 6. Undecidable Predicates -- 7. Miscellaneous -- Author and Subject Index. |
| Record Nr. | UNINA-9910792486403321 |
|
Hermes Hans
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1965] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Enumerability, decidability, computability : an introduction to the theory of recursive functions / / Hans Hermes ; Translated by Gabor T. Herman and O. Plassmann
| Enumerability, decidability, computability : an introduction to the theory of recursive functions / / Hans Hermes ; Translated by Gabor T. Herman and O. Plassmann |
| Autore | Hermes Hans |
| Edizione | [1st ed. 1965.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1965] |
| Descrizione fisica | 1 online resource (X, 245 p.) |
| Disciplina | 164 |
| Collana | Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics |
| Soggetto topico | Mathematics |
| ISBN | 3-662-11686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introductory Reflections on Algorithms -- 2. Turing Machines -- 3. ?-Recursive Functions -- 4. The Equivalence of Turing-Computability and?-Recursiveness -- 5. Recursive Functions -- 6. Undecidable Predicates -- 7. Miscellaneous -- Author and Subject Index. |
| Record Nr. | UNINA-9910827106603321 |
|
Hermes Hans
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1965] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
