Search Results - NEPOMUCENO-FERNANDEZ, Angel
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
Tablas semánticas para fórmulas satisfacibles en dominios finitos
Published in TeoremaGet full text
Article -
13
ABDUCCIÓN EN MODELOS FINITOS
Published in Crítica; revista hispanoamericana de filosofíaGet full text
Article -
14
-
15
Set theory and tableaux for teaching propositional logic
Published in arXiv.orgGet full text
Article -
16
-
17
-
18
-
19
-
20