Wacław的Sierpiński 关于价值逻辑的问题。 (法语) Zbl 0100.00903号 芬丹。数学。 49, 167-170 (1961). 审核人:A.玫瑰 MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{W.Sierpin nski},芬丹。数学。49167--170(1961年;Zbl 0100.00903) 全文: 内政部
A.罗宾逊。 塔斯基问题的解决。 (英语) Zbl 0093.01305号 芬丹。数学。 47, 179-204 (1959). PDF格式BibTeX公司 XML格式引用 \textit{A.Robinson},芬丹。数学。47、179--204(1959年;Zbl 0093.01305) 全文: 内政部 欧洲DML OA许可证
A.莱维。 有限性的各种定义的独立性。 (英语) Zbl 0089.00702号 芬丹。数学。 46, 1-13 (1958). PDF格式BibTeX公司 XML格式引用 \textit{A.Lévy},Fundam。数学。46,1-13(1958年;Zbl 0089.00702) 全文: 内政部 欧洲DML
南卡罗夫卡。 集合的递归族。 (英语) Zbl 0080.24301号 芬丹。数学。 44, 186-191 (1957). PDF格式BibTeX公司 XML格式引用 \textit{S.Mrowka},Fundam(芬丹)。数学。44、186--191(1957年;Zbl 0080.24301) 全文: 内政部 欧洲DML OA许可证
格雷戈奇克,A。 关于可计算实连续函数的定义。 (英语) Zbl 0079.24801 芬丹。数学。 44, 61-71 (1957). PDF格式BibTeX公司 XML格式引用 \textit{A.Grzegorczyk},芬丹。数学。44、61-71(1957年;Zbl 0079.24801) 全文: 内政部 欧洲DML
A.莫斯托夫斯基。 关于可计算序列。 (英语) Zbl 0079.24702号 芬丹。数学。 44,37-51(1957年). PDF格式BibTeX公司 XML格式引用 \textit{A.Mostowski},芬丹。数学。44、37-51(1957年;Zbl 0079.24702) 全文: 内政部 欧洲DML
格里菲斯,H.B。 博尔德集和可数运算系列。 (英语) Zbl 0079.00803号 芬丹。数学。 44, 115-155 (1957). PDF格式BibTeX公司 XML格式引用 \textit{H.B.Griffiths},芬丹。数学。44115-155(1957年;Zbl 0079.00803) 全文: 内政部 欧洲DML
A.罗宾逊。 下谓词演算中的可定义性问题。 (英语) Zbl 0079.00608号 芬丹。数学。 44, 309-329 (1957). PDF格式BibTeX公司 XML格式引用 \textit{A.Robinson},芬丹。数学。44309--329(1957年;Zbl 0079.00608) 全文: 内政部 欧洲DML
A.莫斯托夫斯基。 量词的泛化。 (英语) Zbl 0078.24401号 芬丹。数学。 44, 12-36 (1957). PDF格式BibTeX公司 XML格式引用 \textit{A.Mostowski},芬丹。数学。44,12-36(1957年;兹bl 0078.24401) 全文: 内政部 欧洲DML
奥西,杰西;苏兹科,R。 关于模型的扩展。四、 模型的无穷和。 (英语) Zbl 0078.00604号 芬丹。数学。 44, 52-60 (1957). PDF格式BibTeX公司 XML格式引用 \textit{J.Ło shi}和\textit{R.Suszko},Fundam。数学。44、52-60(1957年;Zbl 0078.00604) 全文: 内政部 欧洲DML
A.埃伦菲赫特。;A.莫斯托夫斯基。 承认自同构的公理理论模型。 (英语) Zbl 0073.00704号 芬丹。数学。 43, 50-68 (1956). PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{A.Mostowski},Fundam。数学。43、50-68(1956年;Zbl 0073.00704) 全文: 内政部 欧洲DML OA许可证
A.Janiczak。 一些简单形式化理论的不确定性。 (英语) Zbl 0052.25201号 芬丹。数学。 40, 131-139 (1953). PDF格式BibTeX公司 XML格式引用 \textit{A.Janiczak},Fundam(芬丹)。数学。40、131--139(1953年;Zbl 0052.25201) 全文: 内政部 欧洲DML
Rasiowa,H。;西科尔斯基,R。 Skolem-Löwenheim定理的证明。 (英语) Zbl 0045.29505号 芬丹。数学。 38, 230-232 (1951). PDF格式BibTeX公司 XML格式引用 \textit{H.Rasiowa}和\textit{R.Sikorski},Fundam。数学。38、230-232(1951;Zbl 0045.29505) 全文: 内政部 欧洲DML
安德烈·格热戈雷泽克(Andrzej Grzegorezyk) 某些拓扑理论的不确定性。 (英语) 兹比尔0045.00301 芬丹。数学。 38, 137-152 (1951). PDF格式BibTeX公司 XML格式引用 \textit{A.Grzegorezyk},芬丹。数学。38、137--152(1951年;Zbl 0045.00301) 全文: 内政部 欧洲DML
阿尔弗雷德·塔斯基 句子演算和拓扑学。(Der Aussagenkalkül und die Topologie。) (德语) Zbl 0020.33704号 芬丹。数学。 31, 103-134 (1938).MSC公司:03B05号 54轴 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski},芬丹。数学。31103-134(1938;Zbl 0020.33704) 全文: 内政部 欧洲DML
阿尔弗雷德·塔斯基 Eineäequivalente Formulierung des Auswahlaxioms公司。 (德语) Zbl 0019.09801号 芬丹。数学。 197-201年30日(1938年). PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski},芬丹。数学。30197--201(1938;Zbl 0019.09801) 全文: 内政部 欧洲DML
乔泽夫·佩皮斯 Untersuchungenüber das Entscheidungs问题der mathematischen Logik。 (德语) Zbl 0018.38503号 芬丹。数学。 30, 257-348 (1938). PDF格式BibTeX公司 XML格式引用 \textit{J.佩皮斯},芬丹。数学。30、257--348(1938;Zbl 0018.38503) 全文: 内政部 欧洲DML
安德烈·莫斯托夫斯基 Abzählbare Boolesche Körper und ihre Anwendung auf die allgemeine Metamathematik.阿布扎·赫巴雷·布列舍·科尔珀和安文敦格都是Metamathemitik。 (德语) Zbl 0016.33704号 芬丹。数学。 29, 34-53 (1937). PDF格式BibTeX公司 XML格式引用 \textit{A.Mostowski},芬丹。数学。29、34——53(1937年;Zbl 0016.33704) 全文: 欧洲DML
阿隆佐·丘奇;南卡罗来纳州克莱恩。 序数理论中的形式定义。 (英语) Zbl 0016.00201号 芬丹。数学。 28, 11-21 (1937). PDF格式BibTeX公司 XML格式引用 \textit{A.Church}和\textit{S.C.Kleene},Fundam。数学。28,11--21(1937年;Zbl 0016.00201) 全文: 欧洲DML
爱德华·亨廷顿。 刘易斯严格蕴涵理论的数学结构。 (英语) Zbl 0013.09802号 芬丹。数学。 25, 147-156 (1935). PDF格式BibTeX公司 XML格式引用 \textit{E.V.Huntington},芬丹。数学。25147--156(1935年;Zbl 0013.09802) 全文: 内政部 欧洲DML
阿尔弗雷德·塔斯基 系统微积分基础。一、。(Grundzüge des Systemenkalküls.I.) (德语) Zbl 0012.38501号 芬丹。数学。 25003-526(1935年). PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski},芬丹。数学。25503--526(1935;Zbl 0012.38501) 全文: 内政部 欧洲DML
泽梅洛,E。 Grundlagen einer allgemeinen Satzsystem数学理论。一、。 (德语) Zbl 0012.24101号 芬丹。数学。 25, 136-146 (1935). PDF格式BibTeX公司 XML格式引用 \textit{E.Zermelo},芬丹。数学。25136--146(1935;Zbl 0012.24101) 全文: 内政部 欧洲DML
A.弗伦克尔。 Zum Diagonalverfahren Cantors公司。 (英语) Zbl 0011.24101号 芬丹。数学。 25, 45-50 (1935). PDF格式BibTeX公司 XML格式引用 \textit{A.Fraenkel},Fundam(芬丹)。数学。25,45--50(1935;Zbl 0011.24101) 全文: 内政部 欧洲DML OA许可证
阿尔弗雷德·塔斯基 在布尔代数的基础上。(Zur Grundlegung der Booleschen代数I.) (德语) Zbl 0011.00203号 芬丹。数学。 24, 177-198 (1935). 审核人:阿诺德·施密特(哥廷根) MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarski},芬丹。数学。24、177--198(1935;Zbl 0011.00203) 全文: 内政部 欧洲DML
Th.斯科勒姆。 Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich order abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen(扎伦瑞赫)。 (德语) Zbl 0010.04902号 芬丹。数学。 23, 150-161 (1934). PDF格式BibTeX公司 XML格式引用 \textit{Th.Skolem},芬丹。数学。23、150-161(1934;Zbl 0010.04902) 全文: 内政部 欧洲DML
Th.斯科勒姆。 Ein kombinatorischer Satz mit Anwendung auf Ein logisches Entscheidungs问题。 (德语) Zbl 0007.09704号 芬丹。数学。 20, 254-261 (1933). PDF格式BibTeX公司 XML格式引用 \textit{Th.Skolem},芬丹。数学。20254-261(1933年;兹bl 0007.09704) 全文: 内政部 欧洲DML