| 1. |
Zur Umformung Logischer Ausdrücke mit Hilfe Programmgesteuerter Rechenanlagen |
| |
Mathematical Logic Quarterly,
Volume 2,
Issue 5‐7,
1956,
Page 57-58
Hans Rohleder,
Preview
|
PDF (147KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
| 2. |
Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints |
| |
Mathematical Logic Quarterly,
Volume 2,
Issue 5‐7,
1956,
Page 59-75
Roland Fraïssé,
Preview
|
PDF (1068KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
| 3. |
Application des γ‐operateurs au Calcul Logique du Premier Echelon |
| |
Mathematical Logic Quarterly,
Volume 2,
Issue 5‐7,
1956,
Page 76-92
Roland Fraïssé,
Preview
|
PDF (1160KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
| 4. |
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten |
| |
Mathematical Logic Quarterly,
Volume 2,
Issue 5‐7,
1956,
Page 93-106
Helmut Thiele,
Preview
|
PDF (907KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
| 5. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 2,
Issue 5‐7,
1956,
Page -
Preview
|
PDF (20KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560020501
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
首页
