| 1. |
Note on Rules of Inference |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 193-196
Hao Wang,
Preview
|
PDF (212KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 2. |
Enumeration of Recursive Sets By Turing Machine |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 197-201
E. K. Blum,
Preview
|
PDF (349KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 3. |
On a Certain System of Modal Logic |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 203-207
Akira Nakamura,
Preview
|
PDF (204KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110304
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 4. |
On Recursive Enumeration Without Repetition |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 209-220
A. H. Lachlan,
Preview
|
PDF (709KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110305
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 5. |
A Formalisation of Post'sm‐Valued Propositional Calculus with Variable Functors |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 221-226
Alan Rose,
Preview
|
PDF (223KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110306
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 6. |
Über Die Dimension Einer Partiellen Algebra Mit Endlichen Oder Unendlichen Operationen |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 227-239
Jürgen Schmidt,
Preview
|
PDF (720KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110307
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 7. |
Die Imitation Endlicher Medwedjew‐Automaten Durch Nervennetze |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 241-248
Peter H. Starke,
Preview
|
PDF (426KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110308
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 8. |
Nonconcatenative Abstract Skolem Arithmetics II |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 249-252
H. A. Pogorzelski,
Preview
|
PDF (233KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110309
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 9. |
Iteration of Primitive Recursion |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 253-255
Paul Axt,
Preview
|
PDF (143KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110310
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
| 10. |
On the Notion of Process |
| |
Mathematical Logic Quarterly,
Volume 11,
Issue 3,
1965,
Page 257-271
Andrzej J. Blikle,
Preview
|
PDF (611KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110311
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
首页
