1. What Is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic. 2. A Revolution in Logic? 3. A Revolution in the Foundations of Mathematics? 4. Is There Completeness in Mathematics After Gödel? 5. Hilbert Vindicated? 6. Standard vs. Nonstandard Logic: A Watershed in the Foundations of Mathematics. 7. Standard vs. Nonstandard Logic: Higher-Order, Modal and First-Order Logics. 8. (with Gabriel Sandu.) The Skeleton in Frege's Cupboard: The Standard vs. Nonstandard Distinction. 9. (with Arto Mutanen.) An Alternative Concept of Computability. 10. (with Gabriel Sandu.) What is the Logic of Parallel Processing? 11. Model Minimization - An Alternative to Circumscription. 12. New Foundations for Mathematical Theories.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata