| 11. |
α Logic and Infinitary Languages |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 105-112
Newton C. A. da Costa,
Charles C. Pinter,
Preview
|
PDF (489KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220112
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 12. |
Compactness Without Languages |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 113-115
Nigel J. Cutland,
Preview
|
PDF (163KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220113
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 13. |
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 117-118
Alan Rose,
Preview
|
PDF (140KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220114
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 14. |
A Formalisation of the Integers in a Multi‐Successor Arithmetic |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 119-121
P. H. Stanford,
Preview
|
PDF (157KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220115
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 15. |
Distinct Modalities are not Equivalent in T |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 123-125
J. Czermak,
Preview
|
PDF (189KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220116
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 16. |
Classes of One‐Argument Recursive Functions |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 127-130
Nadejda V. Georgieva,
Preview
|
PDF (251KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220117
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 17. |
Entscheidungsprobleme für Autonome Mehrbandautomaten |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 131-140
Peter H. Starke,
Preview
|
PDF (633KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220118
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 18. |
Das Homomorphietheorem für MV‐Algebren Endlicher Ordnung |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 141-148
Dietrich Schwartz,
Preview
|
PDF (426KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220119
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 19. |
Fuzzy Membership Mapped onto Intervals and Many‐Valued Quantities |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 149-160
I. Grattan‐Guinness,
Preview
|
PDF (787KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220120
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
| 20. |
Universal Complete Boolean Algebras and Cardinal Collapsing |
| |
Mathematical Logic Quarterly,
Volume 22,
Issue 1,
1976,
Page 161-164
J. L. Bell,
Preview
|
PDF (191KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19760220121
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1976
数据来源: WILEY
|
首页
Volume 22 issue 1