1. |
The Fundamental Configurations of Linear Projective Geometry |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 289-306
Williams Kramer Forrest,
Preview
|
PDF (933KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321902
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
2. |
Transfinite Recursion in a Theory of Properties |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 307-314
Stephen Pollard,
Preview
|
PDF (495KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321903
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
3. |
Classes of Numeration Models of λ‐Calculus |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 315-322
Akira Kanda,
Preview
|
PDF (439KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321904
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
4. |
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 323-330
Alan Rose,
Preview
|
PDF (529KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321905
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
5. |
Fuzzy Models of First Order Languages |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 331-340
A. di Nola,
G. Gerla,
Preview
|
PDF (648KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321906
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
6. |
Locally p‐ℵ0‐Categorical Theories |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 341-348
Carlo Toffalori,
Preview
|
PDF (509KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321907
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
7. |
On the Logical System L1 |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 349-353
Z. Šikić,
Preview
|
PDF (179KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321908
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
8. |
Some Model‐Theoretic Results for the Relevant Logic with Quantification |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 355-363
Mirosław Szatkowski,
Preview
|
PDF (594KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321909
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
9. |
The Recursively Saturated Part of Models of Peano Arithmetic |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 365-370
Henryk Kotlarski,
Preview
|
PDF (402KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321910
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|
10. |
On the Expressive Power of Equality‐Free First Order Languages |
|
Mathematical Logic Quarterly,
Volume 32,
Issue 19‐24,
1986,
Page 371-375
P. Ecsedi‐Tóth,
Preview
|
PDF (330KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19860321911
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1986
数据来源: WILEY
|