| 1. |
Some Recent Developments in Complete Strategies for Theorem‐Proving by Computer |
| |
Mathematical Logic Quarterly,
Volume 14,
Issue 25‐29,
1968,
Page 377-382
Bernard Meltzer,
Preview
|
PDF (329KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680142502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
| 2. |
Set‐Theories as Algebras |
| |
Mathematical Logic Quarterly,
Volume 14,
Issue 25‐29,
1968,
Page 383-411
Paul Fjelstad,
Preview
|
PDF (2029KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680142503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
| 3. |
[Russian Text Ignore.] |
| |
Mathematical Logic Quarterly,
Volume 14,
Issue 25‐29,
1968,
Page 413-447
[Russian Text Ignore.],
Preview
|
PDF (1521KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680142504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
| 4. |
Independent Axiomatization and its Relation to the Hypersimple Set |
| |
Mathematical Logic Quarterly,
Volume 14,
Issue 25‐29,
1968,
Page 449-456
Marian Boykan Pour‐El,
Preview
|
PDF (522KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680142505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
| 5. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 14,
Issue 25‐29,
1968,
Page -
Preview
|
PDF (26KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680142501
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
首页
