1. |
Eine Bemerkung Zur Zeilendominanz Beim Aufsuchen Optimaler Normalformen |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 273-276
Hans Rohleder,
Preview
|
PDF (170KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110402
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
2. |
A Decision Procedure For the SystemEĪof Entailment with Negation |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 277-289
Nuel D. Belnap,
John R. Wallace,
Preview
|
PDF (699KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110403
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
3. |
Sur Une Description Axiomatique Des Liens Syntaxiques |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 291-296
Solomon Marcus,
Preview
|
PDF (386KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110404
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
4. |
Zur Stetigkeit Berechenbarer Reeller Funktionen |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 297-342
Dieter Ilse,
Preview
|
PDF (2360KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110405
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
5. |
Untersuchungen Über Die Modelle Der Typentheorie |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 343-372
Peter Schreiber,
Preview
|
PDF (1838KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110406
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
6. |
Nonconcatenative Abstract Skolem Arithmetics III |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 373-376
H. A. Pogorzelski,
Preview
|
PDF (153KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110407
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
7. |
Zum Beitrag Von F. Schwenkel „Rekursive Wortfunktionen Über Unendlichen Alphabeten”︁ |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 377-378
Rózsa Péter,
Preview
|
PDF (153KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110408
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
8. |
Entgegnung Von F. Schwenkel |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 379-380
Preview
|
PDF (106KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110409
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
9. |
The Theory of Implication: Two Corrections |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 381-382
A. N. Prior,
Preview
|
PDF (90KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110410
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|
10. |
Berichtigungen |
|
Mathematical Logic Quarterly,
Volume 11,
Issue 4,
1965,
Page 383-383
Preview
|
PDF (34KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19650110411
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1965
数据来源: WILEY
|