1. |
Counterexamples in intuitionistic analysis using kripke's schema |
|
Mathematical Logic Quarterly,
Volume 15,
Issue 16‐18,
1969,
Page 241-246
Richard G. Hull,
Preview
|
PDF (248KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151601
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
2. |
A semantical study of constructible falsity |
|
Mathematical Logic Quarterly,
Volume 15,
Issue 16‐18,
1969,
Page 247-257
Richmond H. Thomason,
Preview
|
PDF (645KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151602
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
3. |
An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi |
|
Mathematical Logic Quarterly,
Volume 15,
Issue 16‐18,
1969,
Page 259-288
J. G. Anderson,
Preview
|
PDF (1483KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151603
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|