11. |
A Formalisation of them‐Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 169-176
Alan Rose,
Preview
|
PDF (395KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120112
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
12. |
Formalisation of Parenthesis‐Free Languages |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 177-186
Andrzej J. Blikle,
Preview
|
PDF (471KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120113
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
13. |
Two Remarks on Indecomposable Number Sets |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 187-190
T. G. McLaughlin,
Preview
|
PDF (271KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120114
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
14. |
On a Family of Models of Zermelo‐Fraenkel Set Theory |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 191-204
Bruno Scarpellini,
Preview
|
PDF (916KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120115
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
15. |
Ambiguous Points of Arbitrary Planar Sets and Functions |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 205-217
Frederick Bagemihl,
Preview
|
PDF (720KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120116
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
16. |
The Completeness of Free Logic |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 219-234
B. C. van Fraassen,
Preview
|
PDF (971KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120117
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
17. |
A Decidable Class of Equations in Recursive Arithmetic |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 235-239
R. L. Goodstein,
R. D. Lee,
Preview
|
PDF (200KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120118
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
18. |
Über die Entbehrlichkeit von Hilfsbuchstaben bei der Berechnung Mehrstelliger Wortfunktionen Durch Markowsche Algorithmen |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 241-242
Peter Schreiber,
Preview
|
PDF (118KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120119
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
19. |
A Basis Theorem for a Class of Two‐Way Automata |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 243-255
D. L. Kreider,
R. W. Ritchie,
Preview
|
PDF (762KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120120
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|
20. |
The Demarcation Line Between Intuitionist Logic and Classical Logic |
|
Mathematical Logic Quarterly,
Volume 12,
Issue 1,
1966,
Page 257-262
Hugues Leblanc,
Richmond H. Thomason,
Preview
|
PDF (355KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19660120121
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1966
数据来源: WILEY
|