-
1
Some Algebraic and Algorithmic Problems in Acoustocerebrography
Veröffentlicht in Bulletin of the Section of Logic
VolltextArtikel -
2
Reversed Resolution in Reducing General Satisfiability Problem
Veröffentlicht in Studia logica
VolltextArtikel -
3
-
4
A general method of solving Smullyan’s puzzles
Veröffentlicht in Logic and logical philosophy
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
Consequence Operations Based on Hypergraph Satisfiability
Veröffentlicht in Studia logica
VolltextArtikel -
17
Consequence Operations Based on Hypergraph Satisfiability
Veröffentlicht in Studia logica
VolltextArtikel -
18
-
19
-
20