RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998 Number 6, Pages 18–22 (Mi vmumm1825)
This article is cited in 1 paper

Mathematics

Nonaxiomatizability of predicate logics of proofs

T. L. Sidon


UDC: 510.6

Received: 10.10.1997



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024