1. |
Über die Vollständigkeit der Elementaren Euklidischen Geometrie |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 137-165
Wolfram Schwabhäuser,
Preview
|
PDF (1647KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021002
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
2. |
An alternative formalisation of Sobociński's three‐valued implicational propositional calculus |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 166-172
Alan Rose,
Preview
|
PDF (374KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021003
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
3. |
Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 173-176
Karl Schröter,
Preview
|
PDF (261KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021004
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
4. |
Explizite Definitionen einiger Eigenschaften von Zeichenreihen |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 177-203
Klaus Härtig,
Preview
|
PDF (1576KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021005
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
5. |
Some formalisations of N0‐valued propositional calculi |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 204-209
Alan Rose,
Preview
|
PDF (295KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021006
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
6. |
Concerning a problem of H. Scholz |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 210-214
Andrzej Mostowski,
Preview
|
PDF (258KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021007
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
7. |
Transfinitely endless chess |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 215-217
Frederick Bagemihl,
Preview
|
PDF (185KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021008
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
8. |
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 218-227
Karl Schröter,
Preview
|
PDF (660KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021009
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
9. |
Eine Charakterisierung und Klassifikation der umkehrbar eindeutigen Abbildungen einer Menge in sich |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page 228-232
Vladimir Devidé,
Preview
|
PDF (301KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021010
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|
10. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 2,
Issue 10‐15,
1956,
Page -
Preview
|
PDF (20KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19560021001
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1956
数据来源: WILEY
|