1. |
Zur Axiomatik der Friedmanschen Theorie der Prädikate |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page 97-106
Martin Kühnrich,
Preview
|
PDF (601KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320702
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
2. |
Forcing and Consistency Results for Recursion in3E Together with Selection Over ℵ1 |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page 107-115
M. R. R. Hoole,
Preview
|
PDF (544KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320703
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
3. |
Boolean‐Valued Models of Set Theory with Automorphisms |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page 117-130
E. G. Hernandez,
Preview
|
PDF (665KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320704
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
4. |
Theories Having Finitely Many Countable Homogeneous Models |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page 131-131
James H. Schmerl,
Preview
|
PDF (75KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320705
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
5. |
Barwise Completeness Theorems for Some Biprobability Logics |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page 133-135
M. Rašković,
R. Živaljević,
Preview
|
PDF (152KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320706
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
6. |
A Syntactic Proof of Cut‐Elimination For GLlin |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page 137-144
S. Valentini,
Preview
|
PDF (287KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320707
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
7. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 7‐9,
1986,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860320701
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|