| 1. |
On Weak Theories of Sets and Classes which are Based on Strict ∏ 11‐REFLECTION |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page 321-332
Andrea Cantini,
Preview
|
PDF (770KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 2. |
On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page 333-344
Teodor Stepień,
Preview
|
PDF (716KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 3. |
χ‐Local Operations for Topological Structures |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page 345-349
J. Flum,
J. C. Martinez,
Preview
|
PDF (273KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 4. |
Definable Partitions and the Projectum |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page 351-355
Evangelos Kranakis,
Preview
|
PDF (261KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 5. |
Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichungy' =f(x, y) |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page 357-362
Jürgen Hauck,
Preview
|
PDF (361KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 6. |
Formal Theories are Acyclic |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page 363-368
K. S. Sarkaria,
Preview
|
PDF (405KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
| 7. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 31,
Issue 21‐23,
1985,
Page -
Preview
|
PDF (34KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19850312101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1985
数据来源: WILEY
|
首页
