1. |
Über Die Ausdehnung Von ℵ‐Homomorphismen Boolescher Algebren |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 97-105
Klaus Matthes,
Preview
|
PDF (632KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060702
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
2. |
Bemerkungen Zu Der Von Asser Entwickelten Version Der Turing‐Maschine |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 106-108
Peter H. Starke,
Preview
|
PDF (208KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060703
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
3. |
Isotone Funktionale Geordneter Mengen |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 109-133
Miroslav Novotný,
Preview
|
PDF (1483KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060704
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
4. |
A Quick Method to Find the Matrix of Conductances of a Given Switching Network |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 134-142
Jacques Riguet,
Preview
|
PDF (335KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060705
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
5. |
Berechenbare Reihen |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 143-161
Dieter Klaua,
Preview
|
PDF (1003KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060706
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
6. |
Further Applications of Logical Computers to the Construction of Electrical Control Tables For Signalling Frames |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 162-198
Alan Rose,
Preview
|
PDF (1952KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060707
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
7. |
A Semantic Proof of the Eliminability of Descriptions |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 199-200
Elliott Mendelson,
Preview
|
PDF (119KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060708
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
8. |
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 201-216
Alan Ross Anderson,
Preview
|
PDF (844KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060709
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
9. |
EQ and the First Order Functional Calculus |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page 217-218
Nuel D. Belnap,
Preview
|
PDF (125KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060710
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|
10. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 6,
Issue 7‐14,
1960,
Page -
Preview
|
PDF (24KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19600060701
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1960
数据来源: WILEY
|