|
1. |
Algorithmen Für Ordnungszahlen Und Normalfunktionen II |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 1‐6,
1960,
Page 1-65
Walter Neumer,
Preview
|
PDF (3628KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
2. |
Berichtigung |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 1‐6,
1960,
Page 65-65
Preview
|
PDF (33KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
3. |
Weak Second‐Order Arithmetic and Finite Automata |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 1‐6,
1960,
Page 66-92
J. Richard Büchi,
Preview
|
PDF (1541KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
4. |
Independent Axiom Schemata for the Pure Theory of Entailment |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 1‐6,
1960,
Page 93-95
Alan Ross Anderson,
Nuel D. Belnap,
John R. Wallace,
Preview
|
PDF (104KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
5. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 1‐6,
1960,
Page -
Preview
|
PDF (24KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
|