1. |
Model Theory for Intuitionistic Logic |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page 49-54
Dov M. Gabbay,
Preview
|
PDF (330KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|
2. |
Some Properties of the Extended Hyperprojective Hierarchy |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page 55-60
Eliot D. Feldman,
Preview
|
PDF (319KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|
3. |
Model Theoretic Approaches to Definability |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page 61-70
J. Richard Büchi,
Kenneth J. Danhof,
Preview
|
PDF (661KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|
4. |
A Classification of the Recursive Functions |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page 71-82
Albert R. Meyer,
Dennis M. Ritchie,
Preview
|
PDF (744KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|
5. |
Arithmetical Reducibilities II |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page 83-92
Alan L. Selman,
Preview
|
PDF (593KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|
6. |
Formules Σ1en Théorie des Ensembles Sans Axiome de Fondement |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page 93-96
Maurice Boffa,
Preview
|
PDF (184KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|
7. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 18,
Issue 4‐6,
1972,
Page -
Preview
|
PDF (25KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19720180401
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1972
数据来源: WILEY
|