尤根·米哈伊列斯库 二价命题的计算。 (法语) Zbl 0249.0206号 加利福尼亚州立大学巴洪·布库雷分校。逻辑行为 3,第1期,105-115(1960). 审核人:G.F.罗斯(M.R.25#9) MSC公司:03B05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Mihéilescu},安大略大学C.I.Parhon București,Ser。《逻辑学报》3,105--115(1960;Zbl 0249.02006)
胡格斯·勒布朗 关于条件概率函数的要求。 (英语) Zbl 0243.02010 J.塞姆。日志。 25, 238-242 (1960).MSC公司:03B10号机组 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{H.勒布朗},J.塞姆。日志。25238--242(1960;Zbl 0243.02010) 全文: 内政部
诺曼·M·马丁。 演绎和严格暗示。 (英语) Zbl 0229.02022 合成 12, 25-33 (1960).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Martin},综合12,25-33(1960;Zbl 0229.02022) 全文: 内政部
Rose,A。 Sur un ensembly indépende de functeurs primitifs pour le calcul propostnel,lequel constitue son propre对偶。 (法语) Zbl 0218.02008年 C.R.学院。科学。,巴黎 250, 4089-4091 (1960).MSC公司:03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rose},C.R.学院。科学。,巴黎250,4089--4091(1960;Zbl 0218.2008)
科恩·L·乔纳森 指代不透明上下文的形式化。 (英语) Zbl 0217.30105号 J.塞姆。日志。 25, 193-202 (1960).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Cohen}、J.Symb。日志。25193-202(1960年;兹bl 0217.30105) 全文: 内政部
A.罗斯。 计算命题的新形式化二价函数基元形成了非系综qui-commitue-son-propre对偶。 (法语) Zbl 0217.30102号 C.R.学院。科学。,巴黎 250, 4246-4248 (1960).MSC公司:03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rose},C.R.学院。科学。,巴黎250,4246-4248(1960;Zbl 0217.30102)
卡扎库,C。 二价逻辑在数论中的应用。(L’application de la logique bivalente dans la théorie des nombres.) (罗马尼亚语。俄语、法语摘要) Zbl 0158.29502号 安斯提。新南威尔士州Al.I.Cuza Iasi大学。,第节。Ib,主管。Lucrarile ses公司。斯蒂。禧年。,大学,1960年10月28日至30日,481-492(1960)。MSC公司:11U99型 11A07号 03B80号 PDF格式BibTeX公司 XML格式
Revzin,I.I。 《语言学家定义》。 (俄语) Zbl 0119.36202号 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,140-148(1960)。MSC公司:03B65号 91层20 PDF格式BibTeX公司 XML格式
Revzin,I.I。 形式和语义分析Sprache中的syntaktischer Verbindungen。 (俄语) Zbl 0119.36201号 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,119-139(1960)。MSC公司:03B65号 91层20 PDF格式BibTeX公司 XML格式
S.K.Shaumyan。 音韵学中的Operationelle Definitionen und ihre Anwendung。 (俄语) Zbl 0117.14908号 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,149-177(1960)。MSC公司:03B80号 PDF格式BibTeX公司 XML格式
马ĭstrova,T.D。 《继电器理论中的逻辑》(Anwendung der mehrwertigen Logik in der Theory der Relaisschaltungen)。 (俄语) Zbl 0115.12001 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,394-414(1960)。 审核人:P.君士坦丁斯库 MSC公司:03B80号 PDF格式BibTeX公司 XML格式
谢斯塔科夫,V.I。 U.ber die dopplete算术解释des dreiwertigen Aussagenkalküls,welche bei der Analogiedarstellung dieses Kalküls-mittels Relais-Kommutatorschaltungen verwendet wird。 (俄语) Zbl 0115.11903号 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,341-376(1960)。MSC公司:03B80号 94C11号机组 PDF格式BibTeX公司 XML格式
谢特林,M.L。;谢赫特曼,L.M。 U.ber gewisse Fragen der physicalischen Realisierung von Vorrichtungen,die logische Operationen ausführen。 (俄语) Zbl 0115.11902号 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,377-393(1960)。MSC公司:03B80号 PDF格式BibTeX公司 XML格式
雅诺夫斯卡娅,S.A。 在数学逻辑和技术方面。 (俄语) Zbl 0111.00604号 Primen公司。Logiki诉Nauke Tekhn。,莫斯科,3-21(1960)。MSC公司:03B80号 PDF格式BibTeX公司 XML格式
G.N.波瓦罗夫。 Der Ereignis-und Der Urteilsasspekt Der Logik im Zusammenhang mit logischen Problemen Der Technik公司。 (俄语) 兹比尔0111.00603 Primen公司。Logiki诉Nauke Tekhn。415-420 (1960).MSC公司:03B80号 PDF格式BibTeX公司 XML格式
威廉·克雷格 一阶理论和子理论的基础。 (英语) 兹伯利0108.00304 J.塞姆。日志。 25, 97-142 (1960). 审核人:K.J.J.欣提卡 MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Craig},J.Symb。日志。25、97——142(1960;Zbl 0108.00304) 全文: 内政部