1. |
Assumption Classes in Natural Deduction |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 1‐2,
1979,
Page 1-4
Daniel Leivant,
Preview
|
PDF (199KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790250102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
2. |
Non‐Standard Models of Ordinal Arithmetics |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 1‐2,
1979,
Page 5-27
E. A. Sonenberg,
Preview
|
PDF (1482KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790250103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
3. |
The Standardization Theorem for λ‐Calculus |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 1‐2,
1979,
Page 29-31
Gerd Mitschke,
Preview
|
PDF (184KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790250104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
4. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 1‐2,
1979,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790250101
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|