| 1. |
A Language for Type‐Free Algebra |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 385-397
William S. Hatcher,
Preview
|
PDF (853KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 2. |
An Extention of the Decidable Class of Equations Considered by Goodstein and Lee |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 399-404
Nadejda Georgieva,
Preview
|
PDF (280KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 3. |
On the Addition of WeakenedL‐Reduction Axioms to the Brouwer System |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 405-408
Michael Byrd,
Preview
|
PDF (282KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 4. |
Some More Minimal Pairs of α‐Recursively Enumerable Degrees |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 409-418
Richard A. Shore,
Preview
|
PDF (768KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 5. |
On the Complexity of Analytic Sets |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 419-425
Karel Hrbacek,
Preview
|
PDF (462KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 6. |
A Topological Model for Intuitionistic Analysis with Kripke's Scheme |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 427-436
M. D. Krol,
Preview
|
PDF (623KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 7. |
A Three‐Valued Model for Set Theory |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 437-440
Alan Rose,
Preview
|
PDF (259KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 8. |
On McBeth's Paper, „Fundamental Sequences for Initial Ordinals Smaller than a Certain θ0”︁ |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 441-442
J. L. Hickman,
Preview
|
PDF (110KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 9. |
Alternative Axioms for Peirce's Triadic Logic |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 443-444
Atwell R. Turquette,
Preview
|
PDF (124KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
| 10. |
Sets Completely Creative Via Recursive Permutations |
| |
Mathematical Logic Quarterly,
Volume 24,
Issue 25‐30,
1978,
Page 445-452
Bruce M. Horowitz,
Preview
|
PDF (478KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19780242511
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1978
数据来源: WILEY
|
首页
