On the intuitionistic propositional calculus with quantifiers (in Russian (1977)

by S K Sobolev
Venue:c© 2004 WILEY-VCH Verlag GmbH & Co. KGaA