|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 1998, Number 6, Pages 18–22
(Mi vmumm1825)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematics
Nonaxiomatizability of predicate logics of proofs
T. L. Sidon
Received: 10.10.1997
Citation:
T. L. Sidon, “Nonaxiomatizability of predicate logics of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 6, 18–22
Linking options:
https://www.mathnet.ru/eng/vmumm1825 https://www.mathnet.ru/eng/vmumm/y1998/i6/p18
|
Statistics & downloads: |
Abstract page: | 75 | Full-text PDF : | 24 |
|