A. D. Yashin, “On the number of new logical constants in intuitionistic propositional calculus”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, Number 1,Pages <nobr>7

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

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997 Number 1, Pages 7–10 (Mi vmumm1838)

Mathematics

On the number of new logical constants in intuitionistic propositional calculus

A. D. Yashin

UDC: 517.12

Received: 11.10.1994

Fulltext: PDF file (541 kB)

Bibliographic databases: