|
MATHEMATICS
Arithmetic completeness of type-free logic
A. S. Kuzichev Lomonosov Moscow State University
Citation:
A. S. Kuzichev, “Arithmetic completeness of type-free logic”, Dokl. Akad. Nauk SSSR, 270:6 (1983), 1323–1327
Linking options:
https://www.mathnet.ru/eng/dan10046 https://www.mathnet.ru/eng/dan/v270/i6/p1323
|
Statistics & downloads: |
Abstract page: | 95 | Full-text PDF : | 42 |
|