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
| Makkai, M. ; Reyes, G.E., Model Theoretic Methods in the Theory of Topoi and Related Categories, I (1975) |
| Makkai, Michael ; Reyes, Gonzalo E., First Order Categorical Logic (1977) |
| Makowsky, J. A. ; Sain, I., On the Equivalence of Weak Second Order and Nonstandard Time Semantics for Floyd-Hoare Logic (1985) |
| Makowsky, J.A. ; Shelah, S. ; Stavi, J., $\Delta$-Logics and Generalized Quantifiers |
| Makowsky, Johann Andreas, Securable Quantifiers, $\kappa$-Unions and Admissible Sets (1973) |
| Makowsky, Johann Andreas, $\Delta$-Logics and Generalized Quantifiers (1974) |
| Maksimova, L.L., Some Problems of the Ackermann Calculus (1967) |
| Maksimova, L.L., Craig's Interpolation Theorem and Amalgamable Varieties (1977) |
| Mal'tsev, A.I., Constructive Algebras I |
| Malcev, A., ЗФФЕКТИВНАЯ НЕОТДЕЛИМОСТЬ МНОЖЕСТВА ТОЖДЕСТВЕННО ИСТИННЫХ И МНОЖЕСТВА КОНЕЧНО ОПРОВЕРЖИМЫХ ФОРМУЛ НЕКОТОРЫХ ЗЛЕМЕНТАРНЫХ ТЕОРИЙ (1961) |