Logics with disjunction and proof by cases San-min WangPetr Cintula OriginalPaper 01 July 2008 Pages: 435 - 446
Model theory of the regularity and reflection schemes Ali EnayatShahram Mohsenipour OriginalPaper 15 July 2008 Pages: 447 - 464
Sheaf toposes for realizability Steven AwodeyAndrej Bauer OriginalPaper 03 July 2008 Pages: 465 - 478
G-compactness and groups Jakub GismatullinLudomir Newelski OriginalPaper 05 July 2008 Pages: 479 - 501
Applications of the topological representation of the pcf-structure Luís Pereira OriginalPaper 17 July 2008 Pages: 517 - 527