A. A. Kuzichev, A. S. Kuzichev, “A conservative extension of a formal arithmetic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988, Number 6,Pages <nobr>77

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988 Number 6, Pages 77–78 (Mi vmumm3010)

Short notes

A conservative extension of a formal arithmetic

A. A. Kuzichev, A. S. Kuzichev

UDC: 510.652:510.649

Received: 05.05.1986
Revised: 01.06.1987

Fulltext: PDF file (344 kB)

Bibliographic databases: