Volume 39, Issue 1 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 39, Issue 1

January 2000

3 articles in this issue

The strength of Martin-Löf type theory with a superuniverse. Part I
Michael Rathjen
Pages: 1 - 39
Maximal cofinitary groups
Yi Zhang
Pages: 41 - 52
Intuitionistic choice and classical logic
Thierry Coquand
Erik Palmgren
Pages: 53 - 74