The predicative Frege hierarchy von Visser, Albert

“… Dep. of Philosophy, Utrecht Univ. …”

On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs von Yavorskiy, Rostislav

“… Dep. of Philosophy, Utrecht Univ. …”

Negative operations on proofs and labels von Yavorskaya-Sidon, Tatiana

“… Dep. of Philosophy, Utrecht Univ. …”

Process algebra for hybrid systems von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

“… Dep. of Philosophy, Utrecht Univ. …”

Axioms for SNABOK, a system and network administration body of knowledge missing link stage of ontology process von Bergstra, Jan A. 1951-

“… Dep. of Philosophy, Utrecht Univ. …”

Categories of theories and interpretations von Visser, Albert

“… Dep. of Philosophy, Utrecht Univ. …”

Execution architectures for program algebra von Bergstra, Jan A. 1951-, Ponse, Alban

“… Dep. of Philosophy, Utrecht Univ. …”

On the limit existence principles in elementary arithmetic and related topics von Beklemishev, Lev D. 1967-, Visser, Albert

“… Dep. of Philosophy, Utrecht Univ. …”

The closed fragment of the interpretability logic of PRA with a constant for IS1 von Joosten, Joost J.

“… Dep. of Philosophy, Utrecht Univ. …”

Gödel's theorem von Dalen, Dirk van 1932-

“… Dep. of Philosophy, Utrecht Univ. …”

Process algebra with nonstandard timing von Middelburg, Cornelis A.

“… Dep. of Philosophy, Utrecht Univ. …”

Brouwer and Weyl the phenomenology and mathematics of the intuitive continuum von Atten, Mark van, Dalen, Dirk van 1932-, Tieszen, Richard L.

“… Dep. of Philosophy, Utrecht Univ. …”

Extended abstracts of the Fifth International Workshop on Termination (WST '01) May 20 - 21, 2001

“… Dep. of Philosophy, Utrecht Univ. …”

Specification and validation of telecommunication services in ACPT von Zhaorui, Yuan

“… Dep. of Philosophy, Utrecht Univ. …”

The interpretability logic of all reasonable arithmetical theories the new conjecture von Joosten, Joost J., Visser, Albert

“… Dep. of Philosophy, Utrecht Univ. …”

Brouwer and Fraenkel von Dalen, Dirk van 1932-

“… Dep. of Philosophy, Utrecht Univ. …”

A decision support system for the maintenance of lights of traffic regulation systems

“… Dep. of Philosophy, Utrecht Univ. …”

Bisimulations, model descriptions and propositional quantifiers von Visser, Albert

“… Dep. of Philosophy, Utrecht Univ. …”

Generalizing hamming distance to finite sets von Bezem, Marc, Keijzer, Maarten

“… Dep. of Philosophy, Utrecht Univ. …”

Safety criteria for Hoorn-Kersenboogerd railway station von Fokkink, Willem J. 1965-

“… Dep. of Philosophy, Utrecht Univ. …”