1. |
Decidability of Some Logics with Free Quantifier Variables |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 17-22
D. A. Anapolitanos,
J. A. Väänänen,
Preview
|
PDF (342KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
2. |
Ultrahomogeneous Structures |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 23-30
Bruce I. Rose,
Robert E. Woodrow,
Preview
|
PDF (549KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
3. |
THÉORIE DE GALOIS POUR LES ALGÈBRES DE POST INFINITAIRES |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 31-44
Bruno Poizat,
Preview
|
PDF (1019KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
4. |
Functional Characters of Solvable Terms |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 45-58
M. Coppo,
M. Dezani‐Ciancaglini,
B. Venneri,
Preview
|
PDF (851KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
5. |
EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 59-71
Mario Rodríguez Artalejo,
Preview
|
PDF (754KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
6. |
UNTERSUCHUNGEN ZUR THEORIE DER LINEAREN ORDNUNG IN LOGIKEN MIT MÄCHTIGKEITSQUANTOREN |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 73-94
H. Herre,
H. Wolter,
Preview
|
PDF (1496KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
7. |
A Note onI‐Types |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page 95-96
Philipp Rothmaler,
Preview
|
PDF (124KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|
8. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 27,
Issue 2‐6,
1981,
Page -
Preview
|
PDF (29KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19810270201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1981
数据来源: WILEY
|