Semantical investigations in Heyting's intuitionistic logic /

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Gabbay, Dov M., 1945-
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Dordrecht, Holland ; Boston : Hingham, MA : D. Reidel Pub. Co. ; distributed in the U.S.A. and Canada by Kluwer Boston, c1981.
श्रृंखला:	Synthese library ; v. 148
विषय:	Heyting, A. > (Arend), > 1898- Intuitionistic mathematics.

समान संसाधन