1. |
Model completeness and direct power |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 3-9
Kazem Taghva,
Preview
|
PDF (397KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
2. |
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 11-15
V. Michele Abrusci,
Preview
|
PDF (252KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
3. |
A note on the existence property for intuitionistic logic with function symbols |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 17-21
L. M. Doorman,
Preview
|
PDF (245KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
4. |
On the generator problem |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 23-27
Wieslaw Szwast,
Preview
|
PDF (254KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
5. |
Quantified propositional calculi and fragments of bounded arithmetic |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 29-46
Jan Krajíček,
Pavel Pudlák,
Preview
|
PDF (914KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
6. |
Much shorter proofs: A bimodal investigation |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 47-66
Alessandra Carbone,
Franco Montagna,
Preview
|
PDF (1166KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
7. |
Fuzzy natural deduction |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 67-77
Giangiacomo Gerla,
Roberto Tortora,
Preview
|
PDF (614KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
8. |
Quantifiers determined by partial orderings |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 79-86
Michal Krynicki,
Preview
|
PDF (494KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
9. |
A theorem on cocongruence of rings |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page 87-88
Daniel A. Romano,
Preview
|
PDF (99KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
10. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 1,
1990,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|