Articoli correlati a Language, Truth and Logic in Mathematics

Language, Truth and Logic in Mathematics - Brossura

 
9789401720465: Language, Truth and Logic in Mathematics

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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 desiderata

Non 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

Altre edizioni note dello stesso titolo

9780792347668: Language, Truth and Logic in Mathematics: 3

Edizione in evidenza

ISBN 10:  0792347668 ISBN 13:  9780792347668
Casa editrice: Springer-Verlag GmbH, 1997
Rilegato