| 1. |
On the Proof Method for Constructive Falsity |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 385-392
Seiki Akama,
Preview
|
PDF (390KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 2. |
Completeness Theorems for Temporal Logics TΩand □TΩ |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 393-398
Hiroya Kawai,
Preview
|
PDF (317KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 3. |
A Natural Variant of Ackermann's Function |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 399-401
Hilbert Levitz,
Warren Nichols,
Preview
|
PDF (166KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 4. |
Two Impredicative Theories of Properties and Sets |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 403-420
Andrea Cantini,
Preview
|
PDF (1060KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 5. |
Intensional Equality in Categories With Structure and Coherence Problems |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 421-432
A. Preller,
N. Lafaye De Micheaux,
Preview
|
PDF (834KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 6. |
On the Semantics of Comparative Logic |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 433-448
Pierluigi Minari,
Preview
|
PDF (781KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 7. |
On a Reconstruction of Models with Only One Binary Relation |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 449-462
Pawel Pazdyka,
Preview
|
PDF (714KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 8. |
On The Uniqueness of the Lindenbaum Extension |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 463-469
Teodor StępIeń,
Preview
|
PDF (367KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 9. |
Equality and Coequality Relations on the Cartesian Product of Sets |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page 471-480
Daniel A. Romano,
Preview
|
PDF (432KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
| 10. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 34,
Issue 5,
1988,
Page -
Preview
|
PDF (29KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19880340501
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1988
数据来源: WILEY
|
首页
