Semantical investigations in Heyting's intuitionistic logic /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Dordrecht, Holland ; Boston : Hingham, MA :
D. Reidel Pub. Co. ; distributed in the U.S.A. and Canada by Kluwer Boston,
c1981.
|
| Saila: | Synthese library ; v. 148
|
| Gaiak: |
| Alearen deskribapena: | Includes index. |
|---|---|
| Deskribapen fisikoa: | x, 287 p. ; 23 cm. |
| Bibliografia: | Bibliography: p. 280-284. |
| ISBN: | 9027712026 |