- LOGICA 1,151
- Lógica matemática 467
- FILOSOFIA 457
- LOGICA MATEMATICA 205
- Mathematical logic 191
- Lógica 128
- 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
-
2301
-
2302
-
2303
-
2304
-
2305
-
2306
-
2307
A decision making account for the cognitive processing of De Morgan´s laws
Published 2010Subjects: Get full text
Online -
2308
Análisis de la definibilidad de relaciones en estructuras de primer orden
Published 2022Subjects: Get full text
bachelorThesis -
2309
-
2310
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Subjects:Conference Proceeding Book -
2311
Curso de Temporada Sobre Cibernética y Sociedad (10 : 1969 : Córdoba).
Published 1971Subjects:Conference Proceeding Book -
2312
Introducción a la teoría general del derecho y a la filosofía jurídica /
Published 1944Subjects:Book -
2313
Conditional and typed rewriting systems : Proceedings /
Published 1995Subjects:Conference Proceeding Book -
2314
CONCUR - 1994 : Concurrency theory /
Published 1994Subjects: “…Lógica y significado de programas…”
Conference Proceeding Book -
2315
-
2316
-
2317
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
2318
Las desventuras del conocimiento científico : una introducción a la epistemología /
Published 1997Subjects:Book -
2319
-
2320