-
1
-
2
-
3
The inclusion-exclusion principle for finitely many isolated sets
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
4
-
5
Automorphisms of $\omega$-octahedral graphs
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
6
Automorphisms of $\omega$-cubes
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
7
Projective bigraphs with recursive operations
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
8
Projective planes of infinite but isolic order
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
9
Two notes on vector spaces with recursive operations
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
10
Countable vector spaces with recursive operations Part II
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
11
Myhill's work in recursion theory
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
12
Countable Vector Spaces with Recursive Operations. Part I
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
13
Partial recursive functions and ω-functions
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
14
An isolic generalization of Cauchy's theorem for finite groups
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
15
-
16
ISOLS AND GENERALIZED BOOLEAN ALGEBRAS
Veröffentlicht in The Rocky Mountain journal of mathematics
VolltextArtikel -
17
COUNTING FINITE SUBSETS OF AN IMMUNE SET
Veröffentlicht in The Rocky Mountain journal of mathematics
VolltextArtikel -
18
Recursive equivalence types and octahedra
Veröffentlicht in Journal of the Australian Mathematical Society (2001)
VolltextArtikel -
19
The inclusion-exclusion principle for finitely many isolated sets
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
20