A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Maass, Wolfgang, Fine Structure Theory of the Constructible Universe in $\alpha$- and $\beta$-Recursion Theory (1978) |
Maass, Wolfgang, A Countable Basis for $\Sigma_2^1$ Sets and Recursion Theory on $\aleph_1$ (1980) |
Maass, Wolfgang, Recursively Invariant $\beta$-Recursion Theory (1981) |
Maass, Wolfgang, Recursively Enumerable Generic Sets (1983) |
Maass, Wolfgang ; Shore, Richard A. ; Stob, Michael, Splitting Properties and Jump Classes (1981) |
MacDowell, R. ; Specker, E., Modelle der Arithmetik (1959) |
MacLane, S., Locally Small Categories and the Foundations of Set Theory (1959) |
MacLane, Saunders, Categorical Algebra (1963) |
MacMillan, Paul S., Some Results Concerning Scott Sets and Peanolike Theories (1996) |
Maddux, Roger, Deduction Theorem for $L^x$ (1973) |