Những quyển sách tương tự: An Introduction to Mathematical Logic and Type Theory :
Đề tài: Procesos Lógicos
- The Essence of Discrete Mathematics /
- Filosofía de la lógica /
- An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof /
- Real-Time Systems : Scheduling, Analysis, and Verification /
- Actividades matemáticas para el desarrollo de procesos lógicos : contar e inducir /
- Understanding Symbolic Logic /
Đề tài: Teoría de Conjuntos
- El mundo de las matemáticas
- L'homme et la société : revue internationale de recherches et de synthèses sociologiques : 150e anniversaire de Karl Marx, 1818-1968 /
- Proofs and Fundamentals : a First Course in Abstract Mathematics /
- Teoría de la decisión Fuzzy /
- Differential inclusions and optimal control /
- Matemáticas discretas : con aplicación a las ciencias de la computación /