Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Archive for Mathematical Logic
Volumes and issues
Volume 39, Issue 1
Archive for Mathematical Logic
Publishing model
:
Hybrid
Submit your manuscript
(this opens in a new tab)
Back to Overview
Editorial board
Aims and scope
Journal updates
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
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research