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

Display formulas [help]

Maehara, Shôji, A System of Simple Type Theory with Type Variables (1969)
Maehara, Shôji, A General Theory of Completeness Proofs (1970)
Magari, Roberto, SIGNIFICATO E VERITA' NELL 'ARITMETICA PEANIANA (Sulle limtazioni dei sistemi formali II)
Magari, Roberto, COSTRUZIONE DI CLASSI FILTRALI (1969)
Magari, Roberto, UN'OSSERVAZIONE SULE CLASSI METAFILTRALI (1969)
Magari, Roberto, UNA DIMOSTRAZIONE DEL FATTO CHE OGNI VARIETÀ AMMETTE ALGEBRE SEMPLICI (1969)
Magari, Roberto, VARIETÀ A QUOZIENTI FILTRALI (1969)
Magari, Roberto, CLASSI METAIDEALI DI ALGEBRE SIMILI (congruenze ideali III) (1970)
Magari, Roberto, VARIETÀ A CONGRUENZE IDEALI (congruenze ideali II) (1970)
Magari, Roberto, ALGEBRE A CONGRUENZE SPECIALI (1971)