1. |
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 177-198
Alan Rose,
Preview
|
PDF (646KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
2. |
A Decidable Fragment of Recursive Arithmetic |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 199-201
R. L. Goodstein,
Preview
|
PDF (127KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
3. |
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 203-205
Albert A. Mullin,
Preview
|
PDF (176KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
4. |
A Problem on the Axiom of Choice |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 207-218
A. H. Kruse,
Preview
|
PDF (619KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
5. |
Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 219-228
S. Jaśkowski,
Preview
|
PDF (509KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
6. |
[Russian Text Ignored] |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 229-233
Preview
|
PDF (236KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
7. |
Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page 235-241
Petr Vopênka,
Petr Hájek,
Preview
|
PDF (328KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|
8. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 9,
Issue 12‐15,
1963,
Page -
Preview
|
PDF (23KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19630091201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1963
数据来源: WILEY
|