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.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui