Logic
The study of valid inference and of formal systems: what follows from what, what a proof is, and what cannot be decided at all.
- Travaux
- 0 travail
- Personnes
- 0 chercheur
Catégories liées
Chercheurs dans Logic
Personne n'a encore indiqué cette catégorie parmi ses centres d'intérêt.
Ajoutez-la à vos intérêts et vous apparaîtrez ici.
Travaux dans Logic
Aucune publication trouvée dans cette catégorie pour le moment.