Su búsqueda retornó 14 resultados. Suscribirse a esta búsqueda

|
1. El tiempo en la logica y en la teoria de conjuntos JoseM. Muñoz, XavierCaicedo Ferrer.

por Muñoz Quevedo, Jose Maria | Caicedo Ferrer, Xavier | Universidad Nacional de Colombia.

Editor: Bogota Universidad Nacional de Colombia 2000Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: IP 1101-05-226-89] (3).

2. Hilbert's E-symbol in the presence of generalized quantifiers Xavier Caicedo Ferrer.

por Caicedo Ferrer, Xavier.

Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00185] (1).

3. On productive [k, y]-compactnes, or tha abstract compactness theorem revisited Xavier Caicedo Ferrer.

por Caicedo Ferrer, Xavier.

Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00186] (1).

4. Aspectos de la logica interna de la categoria de los grafos dirigidos Juan Carlos Vera Lizcano ; dirigida por Xavier Caicedo Ferrer.

por Vera Lizcano, Juan Carlos | Caicedo Ferrer, Xavier.

Editor: Santafe de Bogota Uniandes 1997Nota de disertación: Tesis (Matematico) -- Universidad de los Andes Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00187] (1).

5. Finite model theory and computational complexity XavierCaicedo.

por Caicedo Ferrer, Xavier.

Editor: Bogota Universidad de los Andes 1995Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00125] (1).

6. El problema de los cardinales singulares Andres EduardoCaicedo Nuñez ;asesor : Xavier Caicedo Ferrer.

por Caicedo Nuñez, Andres Eduardo | Caicedo Ferrer, Xavier.

Editor: Bogota Univesidad de los Andes 1996Nota de disertación: Tesis (Matematico) -- Universidad de los Andes Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00134] (1).

7. Continuous operations on spaces of structures Xavier Caicedo.

por Caicedo Ferrer, Xavier.

Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00100] (1).

8. Finitely axiomatizable quasivarieties of graphs X. Caicedo.

por Caicedo Ferrer, Xavier.

Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00101] (1).

9. Logica de los haces de estructuras Xavier Caicedo F.

por Caicedo Ferrer, Xavier.

Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00123] (1).

10. Investigaciones acerca de los conectivos intuicionistas XavierCaicedo F.

por Caicedo Ferrer, Xavier.

Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00122] (1).

11. El teorema de completitud de Godel y el lema de interpolaciondeCraig, via el teorema de Herbrand Diego Jara Pinzon ; director : Xavier Caicedo.

por Jara Pinzon, Diego | Caicedo Ferrer, Xavier.

Editor: Bogota Universidad de los Andes 1995Nota de disertación: Tesis (Matematico) -- Universidad de los Andes. Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00121] (1).

12. Informe de actividades 1996 - 1997.

por Caicedo Ferrer, Xavier | Krynicki, Michal | Miraglia, Francisco.

Editor: Bogota Universidad de los Andes 1997Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00119] (1).

13. Haces implicitos en el forcing de cohen Juan Carlos Rivera Guerrero ; dirigida por Xavier Caicedo Ferrer.

por Rivera Guerrero, Juan Carlos | Caicedo Ferrer, Xavier.

Editor: Santafe de Bogota Universidad de los Andes 1997Nota de disertación: Tesis (Matematico) -- Universidad de los Andes Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00188] (1).

14. Demostracion topologica de un teorema de maximalidad de logicasmonadicasrelativamente compactas Julian Mariño Von Hildebrand ; dirigida por Xavier Caicedo Ferrer.

por Mariño von Hildebrand, Julian | Caicedo Ferrer, Xavier.

Editor: Santafe de Bogota Universidad de los Andes 1997Nota de disertación: Trabajo de grado (Matematico) -- Universidad de los Andes Disponibilidad: Ítems disponibles para préstamo: [Signatura topográfica: PEI 00189] (1).

Biblioteca Cendoc - Bogotá, Colombia
Dirección: Avenida Calle 26 # 57-41 Torre 8 Pisos del 2 al 6
Teléfonos: (57) (1) 6258480 o 018000914446
Fax: (57) (1) 6258481
Horario: Lunes a Jueves 8:00am - 5:00pm y Viernes 7:00am- 4:00pm (Jornada contínua)