1. |
A Consistent Higher‐Order Theory Without a (Higher‐Order) Model |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 385-386
Thomas Forster,
Preview
|
PDF (96KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
2. |
A Note on Stahl's Opposite System |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 387-390
Takao Inoué,
Preview
|
PDF (154KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
3. |
On the End Extension Problem For Δ0‐PA(S) |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 391-397
Henryk Kotlarski,
Preview
|
PDF (375KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
4. |
On the Mathematical Content of the Theory of Classes KM |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 399-412
Ramón Jansana,
Preview
|
PDF (696KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
5. |
On a Subtheory of the Bernays‐Gödel Set Theory |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 413-414
Jannis Manakos,
Preview
|
PDF (96KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
6. |
Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights I |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 415-421
Shin'ichi Yokota,
Preview
|
PDF (370KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
7. |
On Splitting of a Recursive Set with Polynomial Time Minimal Pairs |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 423-432
Chen Zhixiang,
Preview
|
PDF (562KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
8. |
A General Constructive Intermediate Value Theorem |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 433-435
Douglas S. Bridges,
Preview
|
PDF (179KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
9. |
Recursive Solvability of Problems with Matrices |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 437-442
Melven Krom,
Myren Krom,
Preview
|
PDF (380KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
10. |
Parameter‐Free Universal Induction |
|
Mathematical Logic Quarterly,
Volume 35,
Issue 5,
1989,
Page 443-456
Richard Kaye,
Preview
|
PDF (865KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350511
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|