罗丁,D。 Darstellungen der(im Kalmár-Csillagschen Sinne)元素是Funktitonen。 (德语) Zbl 0217.01101号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 139-158 (1965).MSC公司:03D20日 PDF格式BibTeX公司 XML格式引用 \textit{D.Rödding},拱门。数学。Logik Grundlagenforsch公司。7139——158(1965年;Zbl 0217.01101) 全文: 内政部 欧洲DML
苏兹科,R。 关于量词推理规则的注释。 (英语) Zbl 0166.25501号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 124-127 (1965). PDF格式BibTeX公司 XML格式引用 \textit{R.Suszko},拱门。数学。Logik Grundlagenforsch公司。7、124-127(1965年;Zbl 0166.25501) 全文: 内政部 欧洲DML
贝丝,E.W。 Semantische Begründung der deriverativen Implikationslogik。 (德语) Zbl 0166.00202号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 23-28 (1965). PDF格式BibTeX公司 XML格式引用 \textit{E.W.Beth},Arch(拱门)。数学。Logik Grundlagenforsch公司。7、23-28(1965年;Zbl 0166.00202) 全文: 内政部 欧洲DML
D.卡利什。;R.蒙塔古。 论Tarski用恒等式形式化谓词逻辑。 (英语) Zbl 0166.00105号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 81-101 (1965). PDF格式BibTeX公司 XML格式引用 \textit{D.Kalish}和\textit{R.Montague},拱门。数学。Logik Grundlagenforsch公司。7、81-101(1965年;Zbl 0166.00105) 全文: 内政部 欧洲DML
阿尔弗雷德·塔斯基 带有标识的谓词逻辑的简化形式化。 (英语) Zbl 0166.00104号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 61-79 (1965). 审核人:A.奥伯舍普 MSC公司:03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski},拱门。数学。Logik Grundlagenforsch公司。7、61-79(1965年;Zbl 0166.00104) 全文: 内政部 欧洲DML
詹森,R.B。 新的Beweis für die Entscheidbarkit des einstelligen Prädikantenkalküls mit Identität公司。 (德语) Zbl 0158.25202号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 128-138 (1965). PDF格式BibTeX公司 XML格式引用 \textit{R.B.Jensen},拱门。数学。Logik Grundlagenforsch公司。7、128——138(1965年;Zbl 0158.25202) 全文: 内政部 欧洲DML
唐纳德·莫克 具有标识的无替换谓词逻辑。 (英语) Zbl 0158.24603号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 102-121 (1965). PDF格式BibTeX公司 XML格式引用 \textit{D.Monk},拱门。数学。Logik Grundlagenforsch公司。7102-121(1965年;Zbl 0158.24603) 全文: 内政部 欧洲DML
库尔特·舒特 Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik《超越诱导》。 (德语) Zbl 0158.00705号 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 45-60 (1965). PDF格式BibTeX公司 XML格式引用 \textit{K.Schütte},阿奇。数学。物流Grundlagenforsch。7、45-60(1965年;Zbl 0158.00705) 全文: 内政部 欧洲DML
W.阿克曼。 德奥夫鲍·埃内尔·霍伦·罗伊克(Der Aufbau einer höheren Logik)。 (德语) Zbl 0154.25503号 架构(architecture)。数学。Logik Grundlagenforsch公司。 1965年5月7日至22日. PDF格式BibTeX公司 XML格式引用 \textit{W.Ackermann},建筑。数学。Logik Grundlagenforsch公司。7、5--22(1965年;Zbl 0154.25503) 全文: 内政部 欧洲DML
H.里贝罗。;R.施瓦鲍尔。 关于方程完备性的评论。 (英语) Zbl 0154.00402 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 122-123 (1965). PDF格式BibTeX公司 XML格式引用 \textit{H.Ribeiro}和\textit{R.Schwabauer},拱门。数学。Logik Grundlagenforsch公司。7122-123(1965年;Zbl 0154.00402) 全文: 内政部 欧洲DML
哈斯克尔·柯里。 两个算法示例。 (英语) Zbl 0129.26101 架构(architecture)。数学。Logik Grundlagenforsch公司。 7, 29-44 (1965). 审核人:JiříHo \345;ejš(普拉哈) MSC公司:03月XX日 PDF格式BibTeX公司 XML格式引用 \textit{H.B.库里},阿奇。数学。物流Grundlagenforsch。7、29-44(1965年;Zbl 0129.26101) 全文: 内政部 欧洲DML