Repositorio Institucional de la Universidad de Oviedo

Mostrando ítems 1-8 de 8

4th Barcelona Logic Meeting

Bosch Bastardes, Roger (KRK, 1998)
Cardinales definiblemente grandes y conjuntos proyectivos

Bosch Bastardes, Roger (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España], 2004)
Demostrar teoremas con forcing

Bosch Bastardes, Roger (KRK, 2003)
Generic absoluteness under projective forcing

Bagaria i Pigrau, Joan; Bosch Bastardes, Roger (Polish Academy of Sciences, 2007)
Grandes Cardinales y la teoría de los reales en extenciones de Forcing CCC

Bagaria i Pigrau, Joan; Bosch Bastardes, Roger (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 1997)
La lógica matemática en España

Bolado Ochoa, Gerardo; Velarde Lombraña, Julián; Cañón Loyes, Camino; Bosch Bastardes, Roger (Cátedra, 2009)
Projective forcing

Bosch Bastardes, Roger (2002)
Sobre la teoría del lenguaje de D. Lewis: la gramática transformacional de base categorial

Bosch Bastardes, Roger; López Tolosana, Montserrat (Promociones y Publicaciones Universitarias, PPU, 1990)