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.
Child and Adult Care Food Program (CACFP) : assessment of sponsor tiering determinations 2013 / / authors: David Marker [and four others]
| Child and Adult Care Food Program (CACFP) : assessment of sponsor tiering determinations 2013 / / authors: David Marker [and four others] |
| Autore | Marker David |
| Pubbl/distr/stampa | Alexandria, VA : , : U.S. Department of Agriculture, Food and Nutrition Service, Office of Policy Support, , [2014] |
| Descrizione fisica | 1 online resource (92 unnumbered pages) : color illustrations |
| Soggetto topico | Means tests - United States - Evaluation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Child and Adult Care Food Program |
| Record Nr. | UNINA-9910702696603321 |
Marker David
|
||
| Alexandria, VA : , : U.S. Department of Agriculture, Food and Nutrition Service, Office of Policy Support, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Invitation to Mathematical Logic / / by David Marker
| An Invitation to Mathematical Logic / / by David Marker |
| Autore | Marker David |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (359 pages) |
| Disciplina | 511.3 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical Logic and Foundations Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-55368-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- I. Truth and Proof -- 1 Languages, Structures and Theories -- 2 Embeddings and Substructures -- 3 Formal Proofs -- 4 Gödel's Completeness Theorem -- II. Elements of Model Theory -- 5 Compactness and Complete Theories -- 6 Ultraproducts -- 7 Quantifier Elimination -- 8 Model Theory of the Real Field -- III. Computability -- 9 Models of Computation -- 10 Universal Machines and Undecidability -- 11 Computably Enumerable and Arithmetic Sets -- 12 Turing Reducibility -- IV. Arithmetic and Incompleteness.-13 Gödel's Incompleteness Theorems -- 14 Hilbert’s 10th Problem -- 15 Peano Arithmetic and ϵ0 -- 16 Models of Arithmetic and Independence Results. - Appendices -- A Set Theory. - B Unique Readability. - C Real Algebra. -Bibliography. - Index. |
| Record Nr. | UNINA-9910855373203321 |
|
Marker David
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||