RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1968
Volume 8,
Pages
211–224
(Mi znsl2266)
Kanger's variant of predicate calculus with not totally defined functions
R. A. Plyushkevitchus
Fulltext:
PDF file (565 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024