1. |
Recursively Enumerable Images of Arithmetic Sets |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 189-201
Richard Rosenberg,
Preview
|
PDF (655KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
2. |
Arithmetical Analogues of Productive and Universal Sets |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 203-210
Bruce M. Horowitz,
Preview
|
PDF (528KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
3. |
An Isomorphism Type of Arithmetically Productive Sets |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 211-214
Bruce M. Horowitz,
Preview
|
PDF (236KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
4. |
A Note on the Interpolation Theorem in First Order Logic |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 215-218
George Weaver,
Preview
|
PDF (288KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
5. |
Calculation of an Order Type: An application of Non‐Standard Methods |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 219-228
Hilbert Levitz,
Preview
|
PDF (585KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
6. |
Compatibility of a Categorial Grammar With an Associated Category System |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 229-238
Wojciech Buszkowski,
Preview
|
PDF (576KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
7. |
Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 239-246
Wolfgang Schönfeld,
Preview
|
PDF (454KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281408
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
8. |
On the Decidability of Propositional Algorithmic Logic |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 247-261
Bogdan S. Chlebus,
Preview
|
PDF (802KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281409
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
9. |
Automorphisms of Medial Fields |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page 263-267
John L. Hickman,
Preview
|
PDF (370KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281410
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|
10. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 28,
Issue 14‐18,
1982,
Page -
Preview
|
PDF (31KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19820281401
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1982
数据来源: WILEY
|