|
|
| 1. |
Extensions of non‐standard models of number theory |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 19,
1969,
Page 289-290
Andrew Adler,
Preview
|
PDF (126KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151901
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 2. |
A probabilistic machine for the estimation of provability in the first order predicate calculus |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 19,
1969,
Page 291-297
S. C. van Westrhenen,
Preview
|
PDF (359KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151902
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
| 3. |
Decision problems associated with complete deterministic normal systems |
| |
Mathematical Logic Quarterly,
Volume 15,
Issue 19,
1969,
Page 299-304
Paul Axt,
W. E. Singletary,
Preview
|
PDF (382KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19690151903
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1969
数据来源: WILEY
|
|
首页
