| 1. |
A Cut‐Free Calculus For Dummett's LC Quantified |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 289-301
Giovanna Corsi,
Preview
|
PDF (526KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 2. |
Hyperidentities of Dyadic Algebras |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 303-310
Klaus Denecke,
Preview
|
PDF (475KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 3. |
A Logic For Distributed Processes |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 311-320
W. Richard Strark,
Preview
|
PDF (589KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 4. |
Finitary Algebraic Logic |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 321-332
Roger D. Maddux,
Preview
|
PDF (713KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 5. |
Nondeterministic Ω‐Computations and the Analytical Hierarchy |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 333-342
J. Castro,
F. Cucker,
Preview
|
PDF (545KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 6. |
Rosser Orderings in Bimodal Logics |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 343-358
Alessandra Carbone,
Franco Montagna,
Preview
|
PDF (901KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 7. |
A Linear Parsing Algorithm For Parenthesis Terms |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 359-362
Walter Felscher,
Preview
|
PDF (272KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350408
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 8. |
Partitions with no Coarsenings of Higher Degree |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 363-366
Stephen H. Brackin,
Preview
|
PDF (252KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350409
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 9. |
The Rank Function and Hilbert'S Second ϵ‐Theorem |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 367-373
Pier Luigi Ferrari,
Preview
|
PDF (415KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350410
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
| 10. |
A Contiguous Nonbranching Degree |
| |
Mathematical Logic Quarterly,
Volume 35,
Issue 4,
1989,
Page 375-383
Rod Downey,
Preview
|
PDF (594KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19890350411
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1989
数据来源: WILEY
|
首页
