Introduction to Mathematical Logic

Trama

La logica matematica è un sottocampo della matematica che si occupa dell'applicazione della logica formale alla matematica. È strettamente associato alle basi della matematica, della metamatematica e dell'informatica teorica. Lo studio del potere deduttivo dei sistemi a prova formale e il potere espressivo dei sistemi formali sono i temi unificanti della logica matematica.

Tradotta in automatico dall'inglese

Libri simili

• Modern Mathematical Logic di AGUSTIN. WILLMOTT (2025)
• Fuzzy Logic: Theory and Applications di Lukas Brooks (2017)
• Matematica per comuni mortali Giochi, numeri curiosi, enigmi, paradossi, logica e strategia di Ennio Peres (2017)
• Discrete Mathematics: An Introduction di DESMOND. BALLARD (2025)
• How not to be wrong: the power of mathematical thinking di Jordan Ellenberg (2014)
• Mathematician's Delight di W. W. Sawyer (1991)
• Fundamentals of Mathematics di Bennett Perez (2017)
• Introduction to Topology di Miriam Court (2018)
• A Complete Introduction to Algebra di TUCKER. WATSON (2025)
• Algebra: The Basics of Mathematics di Joanna Burke (2020)
• L'arte della logica Lo strumento più potente per pensare, scegliere e agire di Eugenia Cheng (2019)
• Logica Matematica di Guido Marè