Volume 49, Issue 5 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 49, Issue 5

June 2010

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

On the form of witness terms
Stefan Hetzl
OriginalPaper 26 April 2010 Pages: 529 - 554
Relativized Schnorr tests with universal behavior
Nicholas Rupprecht
OriginalPaper 12 May 2010 Pages: 555 - 570
Localizing the axioms
Athanassios Tzouvaras
OriginalPaper 21 May 2010 Pages: 571 - 601
Glueing continuous functions constructively
Douglas S. Bridges
Iris Loeb
OriginalPaper 26 May 2010 Pages: 603 - 616