首页   按字顺浏览 期刊浏览 卷期浏览 返回    

Mathematical Logic Quarterly


ISSN: 0942-5616        年代：1955
当前卷期：Volume 1  issue 4     [ 查看所有卷期 ]

年代：1955
 
     Volume 1  issue 1   
     Volume 1  issue 2   
     Volume 1  issue 3   
     Volume 1  issue 4
1. Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  241-251

Karl Schröter,  

Preview   |   PDF (639KB)
2. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  252-263

Günter Asser,  

Preview   |   PDF (641KB)
3. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  264-270

Dieter Klaua,  

Preview   |   PDF (458KB)
4. Konfinalität
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  271-303

Jürgen Schmidt,  

Preview   |   PDF (2171KB)
5. Die Verwendung von Aussagenkalkülen zur Beschreibung elektrischer Schaltungen
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  304-309

Hans Rohleder,  

Preview   |   PDF (344KB)
6. Effective operations on partial recursive functions
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  310-317

J. Myhill,   J. C. Shepherdson,  

Preview   |   PDF (430KB)
7. Tagung der deutschen Mathematiker‐Vereinigung in Göttingen 1955
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  318-319

Preview   |   PDF (63KB)
8. Masthead
  Mathematical Logic Quarterly,   Volume  1,   Issue  4,   1955,   Page  -

Preview   |   PDF (26KB)
首页 上一页 下一页 尾页 第1页 共8条