-
1
On Harrop disjunction property in intermediate predicate logics
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
2
A Sufficient Condition for a Prime to be a Sophie Germain Prime
Veröffentlicht in The American mathematical monthly
VolltextArtikel -
3
-
4
A proof of the leftmost reduction theorem for λβη-calculus
Veröffentlicht in Theoretical computer science
VolltextArtikel -
5
A note on decidability of variables in intuitionistic propositional logic
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
6
On the exponential Diophantine equation $(a^{n}-1)(b^{n}-1)=x^{2}
Veröffentlicht in Publicationes mathematicae (Debrecen)
VolltextArtikel -
7
New sequent calculi for Visser's Formal Propositional Logic
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
8
A note on the first incompleteness theorem
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
Sequent Calculi for Visser's Propositional Logics
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
15
-
16
-
17
-
18
-
19
-
20