- LOGICA 1,151
- Lógica matemática 467
- FILOSOFIA 457
- LOGICA MATEMATICA 205
- Mathematical logic 191
- Lógica 129
- CIENCIAS SOCIALES 99
- METAFISICA 92
- Lógica y significado de programas 90
- EPISTEMOLOGIA 87
- Logics and meanings of programs 84
- Lenguajes formales 81
- DERECHO 80
- Formal languages 79
- FILOSOFIA DEL DERECHO 72
- LOGICA SIMBOLICA 71
- TEORIA DEL CONOCIMIENTO 71
- FILOSOFIA DE LA CIENCIA 67
- FILOSOFIA DEL LENGUAJE 56
- ETICA 55
- LOGICA SIMBOLICA Y MATEMATICA 55
- MATEMATICAS 54
- CIENCIA 50
- Mathematical logic-Computation 45
- Lógica matemática-Computación 44
- Teoría de conjuntos 42
- FILOSOFIA S.XX 41
- LOGICA FORMAL 41
- RAZONAMIENTO 41
- POSITIVISMO LOGICO 40
-
2141
-
2142
-
2143
Theorem proving with analytic tableaux and related methods /
Published 1996Subjects:Conference Proceeding Book -
2144
-
2145
-
2146
-
2147
-
2148
-
2149
-
2150
-
2151
Propositional attitudes : the role of content in logic, language, and mind /
Published 1990Subjects: “…LOGICA 160…”
Book -
2152
-
2153
-
2154
-
2155
-
2156
-
2157
-
2158
-
2159
-
2160