Publisher
Springer International Publishing
Reference47 articles.
1. Achinstein P (1993) How to defend a theory without testing it: Niels Bohr and the “logic of pursuit”. Midwest Stuides Philos. 18:90–120
2. Bishop E (1967) Foundations of constructive mathematics. McGraw-Hill, New York
3. Carnot L (1803) Principes fondamentaux de l’équilibre et du mouvement. Deterville, Paris
4. Chellas BF (1980) Modal logic. Cambridge University Press, Cambridge
5. Davis M et al (1995) Computability, complexity, and languages: fundamentals of theoretical computer science. Academic Press, New York