О проверке выражений многозначных исчислений высказываний. I
- 期刊名称Studia Logica
- 作者Е. Балука
- 卷第17卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小44.28KB
- 发表时间1965
- DOI10.1007/bf02120515
- 页码73-73
Morphology of Peripheral Nerves in Children with Spina BifidaZ. RÁLIS; HEATHER M. RÁLIS · 1972
Preparation and characterization of uranyl complexes with phosphonate ligandsZ. Hnatejko; S. Lis; Z. Stryła · 2010
Energy performance of building heating - theory and reality on the example of educational buildingsLis, Piotr; Lis, Anna; Beben, D.; Rak, A.; Perkowski, Z. · MATEC Web of Conferences · 2018
Schwingungsgleichungen nichtlinearer viskoelastischer SystemeDoz. Dr.-Ing. J. Kubik; Dr.-Ing. Z. Lis · 1985
Academy News BulletinAelion Brauer, A.; Kedem, A.; Lis, R.; Guo, P.; Rafii, S.; Rosenwaks, Z. · Psychosomatics · 1963
Elaeocarpidine Alkaloids from <i>Pelargonium</i> Species (Geraniaceae)Balchin, Maria Lis; Houghton, Peter J; Woldemariam, Tibebe Z. · Natural Product Letters · 1996
IR spectroscopy of 8-azasteroid enaminodicarbonyl compoundsN. I. Garbuz; V. Z. Kurbako; F. A. Lakhvich; L. G. Lis · 1982
Structured meanings and reflexive domainsSerge Lapierre · Studia Logica · 1992
The ω-ruleMichael Thau · Studia Logica · 1992
The logic of linear toleranceGiorgie Dzhaparidze · Studia Logica · 1992
Revision algebra semantics for conditional logicJohn Pais · Studia Logica · 1992
Books receivedStudia Logica · 1992
From the editorsM. E. Adams; W. Dziobiak · Studia Logica · 1996
FreeQ-distributive latticesRoberto Cignoli · Studia Logica · 1996
Priestley duality for some subalgebra latticesGeorges Hansoul · Studia Logica · 1996