Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Logik 12 [ausschließen]
- Hochschulschrift 11 [ausschließen]
- Mathematische Logik 8 [ausschließen]
- Beweis 3 [ausschließen]
- Brouwer, Luitzen Egbertus Jan <1881-1966> 3 [ausschließen]
- Beweistheorie 2 [ausschließen]
- Brouwer, Luitzen E. J. 1881-1966 2 [ausschließen]
- Husserl, Edmund 1859-1938 2 [ausschließen]
- Proefschriften (vorm) 2 [ausschließen]
- Prädikatenlogik 2 [ausschließen]
- Putnam, Hilary <1926-> 2 [ausschließen]
- Relation 2 [ausschließen]
- Aussagenlogik 1 [ausschließen]
- Beweisführung 1 [ausschließen]
- Beweissystem 1 [ausschließen]
- Bibliografie 1 [ausschließen]
- Bibliografieën (vorm) 1 [ausschließen]
- Brentano, Franz - réception - Husserl, Edmund 1 [ausschließen]
- Brentano, Franz 1838-1917 1 [ausschließen]
- Chrysippus Solensis v281-v208 1 [ausschließen]
- Constraint-logische Programmierung 1 [ausschließen]
- Deontische Logik 1 [ausschließen]
- Einführung 1 [ausschließen]
- Ethica (Spinoza) 1 [ausschließen]
- Fraenkel, Abraham Adolf 1891-1965 1 [ausschließen]
- Fraenkel, Abraham Adolf <1891-1965> 1 [ausschließen]
- Frege, Gottlob 1848-1925 1 [ausschließen]
- Galenus 129-199 1 [ausschließen]
- Galenus 129-199 De placitis Hippocratis et Platonis 1 [ausschließen]
- Galenus 129-199 De placitis Hippocratis et Platonis 2-3 1 [ausschließen]
-
1
Prolegomena to the categorical study of interpretations
Veröffentlicht 2006“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
2
Propositional proof systems and fast consistency provers
Veröffentlicht 2006“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
3
Problems in the logic of provability
Veröffentlicht 2005“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
4
-
5
Propositional logics of closed and open substitutions over Heyting's arithmetic
Veröffentlicht 2005“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
6
-
7
Veblen hierarchy in the context of provability algebras
Veröffentlicht 2004“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
8
Continuing controlled hybrid automata
Veröffentlicht 2004“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
9
-
10
Residuals in higher-order rewriting
Veröffentlicht 2003“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
11
A new equivalence for processes with timing
Veröffentlicht 2002“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
12
Provability algebras and proof-theoretical ordinals, I
Veröffentlicht 2001“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
13
Real time Process algebra with time-dependent conditions
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
14
On the admissible rules of intuitionistic propositional logic
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
15
Variable binding operators in transition system specifications
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
16
The irreflexivity of Brouwer's philosophy
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
17
Why Husserl should have been a strong revisionist in mathematics
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
18
On the induction schema for decidable predicates
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
19
On the query complexity of finding a local maximum point
Veröffentlicht 2000“… Dep. of Philosophy, Utrecht Univ. …”
Buch -
20