1. |
A Single‐Axiom Impligational Calculus of Given Unsolvability |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page 193-204
M. D. Gladstone,
Preview
|
PDF (607KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141302
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
2. |
Metatheoretische Eigenschaften Gewisser Klassen von Elementaren Theorien |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page 205-244
Kurt Hauschild,
Preview
|
PDF (2357KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141303
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
3. |
A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page 245-254
Bas C. van Fraassen,
Preview
|
PDF (556KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141304
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
4. |
An Undecidability Result in the Theory of Relevant Implication |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page 255-262
Robert K. Meyer,
Preview
|
PDF (506KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141305
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
5. |
Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page 263-266
Kurt Hauschild,
Helmut Wolter,
Preview
|
PDF (245KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141306
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
6. |
Unterscheidbarkeit Endlicher Geordneter Mengen mit Gegebener Anzahl von Quantoren |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page 267-272
Wolfgang Rautenberg,
Preview
|
PDF (325KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141307
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|
7. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 14,
Issue 13‐17,
1968,
Page -
Preview
|
PDF (26KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19680141301
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1968
数据来源: WILEY
|