Search results for: Solomon Feferman
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Essays on Carolyn Talcott > 1-3
The Western Ontario Series in Philosophy of Science > Foundational Theories of Classical and Constructive Mathematics > Foundations of Classical Mathematics > 127-143
Logica Universalis > 2012 > 6 > 3-4 > 535-552
Information and Computation > 2009 > 207 > 10 > 971-979
Annals of Pure and Applied Logic > 2004 > 126 > 1-3 > 5-13
Erkenntnis > 2000 > 53 > 1-2 > 63-96