1. |
Ultradiophantine Categories |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 289-295
Leopoldo Román,
Preview
|
PDF (330KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
2. |
Negative Results on the Reduction of the Recursion Scheme |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 297-300
Benedetto Intrigila,
Preview
|
PDF (249KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
3. |
Further Results on Proof Theories For Semilattice Logics |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 301-304
Robert K. Meyer,
Errol P. Martin,
Steve Giambrone,
Alasdair Urquhart,
Preview
|
PDF (211KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
4. |
On the Impossibility of Transformation of All True Formulas Of Markov's LanguageL1into True Formulas of His Language ℝ |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 305-307
F. W. Gorgy,
Preview
|
PDF (193KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
5. |
Extendability of Functions on Models of ZFFin |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 309-315
A. Sochor,
Preview
|
PDF (429KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
6. |
Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 317-322
Günter Asser,
Preview
|
PDF (242KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
7. |
Precipitousness of a Sum of Ideals on Complete Boolean Algebras |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 323-330
Joji Takahashi,
Kazuaki Kajitori,
Preview
|
PDF (472KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340408
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
8. |
An Aleph Hypothesis, and its Consequences for Beths, Sums of Beths, and Infinite Products of Alephs |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 331-336
Frederick Bagemihl,
Preview
|
PDF (229KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340409
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
9. |
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 337-342
J. Richard Büchi†,
Steven Senger,
Preview
|
PDF (414KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340410
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
10. |
Many‐Valued Modal Propositional Calculi |
|
Mathematical Logic Quarterly,
Volume 34,
Issue 4,
1988,
Page 343-354
Pascal Ostermann,
Preview
|
PDF (614KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340411
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|