19 |
EJEMPLOS |
- |
0 |
3 |
Agregar
|
12 |
sistemas axiomaticos:ejercitacion 1 |
- |
1 |
0 |
Agregar
|
3 |
CONCEPCIONES DE LA LOGICA |
ALCHOURRON |
0 |
19 |
Agregar
|
11 |
The propositional calculus |
Catedra |
9 |
0 |
Agregar
|
16 |
REGLAS ESTRUCTURALES PARA K (logica clasica) |
CATEDRA |
0 |
1 |
Agregar
|
17 |
REGLAS OPERATORIAS PARA K |
CATEDRA |
0 |
1 |
Agregar
|
0 a |
PROGRAMA 2010 |
CATEDRA |
0 |
3 |
Agregar
|
7 |
LOGICA PROPOSICIONAL |
CATEDRA |
8 |
14 |
Agregar
|
8 |
LA NOCION DE CONSECUENCIA LOGICA CLASICA |
CATEDRA |
8 |
1 |
Agregar
|
0 |
Programa 2011 |
catedra |
0 |
3 |
Agregar
|
21 |
TRANSPARENCIA DE CLASE |
CATEDRA |
0 |
5 |
Agregar
|
22 |
LOS ORIGENES DE LA LOGICA INTENSIONAL |
GAMUT |
13 |
1 |
Agregar
|
9 |
SISTEMAS AXIOMATICOS DE LOGICA ELEMENTAL |
GARRIOS |
23 |
0 |
Agregar
|
2 |
PREDICATE LOGIC |
HODGE |
11 |
0 |
Agregar
|
6 |
INTRODUCCION A LA LOGICA MODAL |
HUGHES/CRESSWELL |
5 |
0 |
Agregar
|
20 |
LA TEORIA DE ROBERT STTALNAKER |
LAZZER Y PALAU |
7 |
1 |
Agregar
|
18 |
REGLAS ESTRUCTURALES Y ANaLISIS DE LA CONSECUENCIA LÒGICA |
LEGRIS JAVIER |
0 |
4 |
Agregar
|
15 |
ENTRE FINITISMO E INTUICIONISMO: OBSERVACIONES SOBRE LOS ORIGENES DE LA DEDUCCION NATURAL |
LEGRIS, Javier |
0 |
4 |
Agregar
|
13 |
SISTEMAS DE SECUENTES Y RELACIONES DE INFERENCIA LOGICA |
LEGRIS, Javier. |
0 |
8 |
Agregar
|
10 |
Introduction to: Mathematical logic. Cap 1 |
Mendelson |
4 |
0 |
Agregar
|
5 |
LOGICAMODAL |
ORAYEN |
9 |
0 |
Agregar
|
4 |
LA NOCION ABSTRACTA DE CONSECUENCIA LOGICA |
PALAU |
0 |
24 |
Agregar
|
14 |
THE ROLE OF STRUCTURAL RULES IN SEQUENT CALCULI |
PAOLI, Francesco |
9 |
1 |
Agregar
|
1 |
IDENTITY |
URMSON |
2 |
0 |
Agregar
|
0 b |
Programa 2008 - 2009 |
Catedra |
|
|
Agregar
|