$M$-arithmetics and their models
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (1998), pp. 8-12
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
[1] A. S. Mashuryan, “O rekursivnykh opredeleniyakh na induktsionnykh modelyakh”, DAN Arm. SSSR, IX:4 (1974)
[2] A. S. Mashuryan, “Ryady Polna i predstavimost funktsii v konechnykh modelyakh nekotorykh arifmeticheskikh teorii”, Izv. NAN Armenii, Matematika, XXX:1 (1974)
[3] E. Mendelson, Vvedenie v matematicheskuyu logiku, Nauka, M., 1976 | MR | Zbl
[4] A. S. Mashuryan, “Neprotivorechivost nekotorykh teorii pervogo poryadka”, Mezhvuz. sb., Matematika, 1985, no. 3