| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910154750903321 |
|
|
Autore |
Smullyan Raymond M. |
|
|
Titolo |
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Princeton, NJ : , : Princeton University Press, , [2016] |
|
©1961 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (157 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Annals of Mathematics Studies ; ; 301 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Recursive functions |
Metamathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"A revision of the author's recent doctoral dissertation--[Princeton]." |
|
|
|
|
|
|
Nota di bibliografia |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910585942703321 |
|
|
Autore |
Isidori Marina |
|
|
Titolo |
Cyclodextrin Chemistry and Toxicology |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (248 p.) |
|
|
|
|
|
|
Soggetti |
|
Biology, life sciences |
Research & information: general |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This is a reprint of the Special Issue "Cyclodextrin Chemistry and Toxicology". This is a collection of eleven articles and three reviews that was published in Molecules that provides an overview of the applications of cyclodextrins, implements the information regarding the use of cyclodextrins and their inclusion complexes, considering both experimental and theorists approaches and using various scientific and technological tools. |
|
|
|
|
|
|
|
| |