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
| Maddux, Roger, Deduction Theorem for $L^x$ (1973) |
| Maddy, Penelope, Naturalism in Mathematics (1997) |
| Madras, Univ. of, Department of Mathematics |
| Maeda, Sûichirô, A Lattice Theoretic Treatment of Stochastic Independence (1963) |
| Maeda, Sûichirô, Independence Relations in Commutative Semi-Groups (1964) |
| Maehara, Shôji, General Recursive Functions in the Number-Theoretic Formal System |
| Maehara, Shôji, Gentzen's Theorem on an Extended Predicate Calculus (1954) |
| Maehara, Shôji, Equality Axiom on Hilbert's $\epsilon$-Symbol (1957) |
| Maehara, Shôji, Another Proof of Takeuti's Theorems on Skolem's Paradox (1958) |
| Maehara, Shôji, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types (1962) |