1. |
Theories with Effectively Inseparable Nuclei |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 219-224
Raymond M. Smullyan,
Preview
|
PDF (375KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
2. |
Peano‐Bäume Karl Dörge zum 60. Geburtstag |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 225-239
Jürgen Schmidt,
Preview
|
PDF (969KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
3. |
Zur Axiomatisierung Der Nicht‐Identitäten Des Aussagenkalküls |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 240-247
Klaus Härtig,
Preview
|
PDF (483KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
4. |
On Principles of Inductive Definition |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 248-257
Bernhard Banaschewski,
Preview
|
PDF (638KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
5. |
Rekursive Wortfunktionen |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 258-278
Günter Asser,
Preview
|
PDF (1076KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
6. |
Zur Struktur Der Reellen Ordinalzahlen |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 279-302
Dieter Klaua,
Preview
|
PDF (1400KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
7. |
Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 303-318
Gönter Asser,
Wolfgang Rautenberg,
Preview
|
PDF (962KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
8. |
[Russian Text Ignored] |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 319-324
Preview
|
PDF (273KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
9. |
A Comparison of Five “Computable” Operators |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 325-340
Marian Boykan Pour‐El,
Preview
|
PDF (784KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
10. |
Mathematisches Symposium Zur 150‐Jahrfeier Der Humboldt‐Universität |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 15‐22,
1960,
Page 341-341
Preview
|
PDF (53KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600061511
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|