Editorial Logic Colloquium '95, Haifa, Israel Gerhard JaegerWolfram PohlersStan Wainer Pages: 273 - 273
Note on generalizing theorems in algebraically closed fields Matthias BaazRichard Zach Pages: 297 - 307
Planar and braided proof-nets for multiplicative linear logic with mix G. BellinA. Fleury Pages: 309 - 325
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus Wil DekkersMartin BunderHenk Barendregt Pages: 327 - 341
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic Mariagnese GiustoAlberto Marcone Pages: 343 - 362
The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals Markus MarzettaThomas Strahm Pages: 391 - 413
Bounding derivation lengths with functions from the slow growing hierarchy Andreas Weiermann Pages: 427 - 441