全文获取类型
收费全文 | 548篇 |
免费 | 42篇 |
出版年
2023年 | 11篇 |
2022年 | 16篇 |
2021年 | 26篇 |
2020年 | 30篇 |
2019年 | 29篇 |
2018年 | 41篇 |
2017年 | 39篇 |
2016年 | 46篇 |
2015年 | 16篇 |
2014年 | 25篇 |
2013年 | 48篇 |
2012年 | 18篇 |
2011年 | 11篇 |
2010年 | 9篇 |
2009年 | 6篇 |
2008年 | 5篇 |
2007年 | 7篇 |
2006年 | 10篇 |
2005年 | 5篇 |
2004年 | 4篇 |
2002年 | 4篇 |
2000年 | 5篇 |
1999年 | 4篇 |
1997年 | 7篇 |
1995年 | 5篇 |
1994年 | 6篇 |
1993年 | 3篇 |
1990年 | 5篇 |
1989年 | 4篇 |
1987年 | 3篇 |
1986年 | 6篇 |
1984年 | 3篇 |
1983年 | 6篇 |
1982年 | 6篇 |
1981年 | 5篇 |
1977年 | 3篇 |
1975年 | 4篇 |
1974年 | 5篇 |
1973年 | 7篇 |
1972年 | 4篇 |
1971年 | 8篇 |
1969年 | 10篇 |
1968年 | 6篇 |
1967年 | 5篇 |
1964年 | 4篇 |
1961年 | 5篇 |
1960年 | 4篇 |
1958年 | 12篇 |
1955年 | 6篇 |
1953年 | 6篇 |
排序方式: 共有590条查询结果,搜索用时 15 毫秒
121.
Studies in East European Thought - 相似文献
122.
123.
Stanisław Jaśkowski 《Studia Logica》1975,34(1):121-132
Summary Three chapters contain the results independent of each other. In the first chapter I present a set of axioms for the propositional
calculus which are shorter than the ones known so far, in the second one I give a method of defining all ternary connectives,
in the third one, I prove that the probability of propositional functions is preserved under reversible substitutions.
This paper appeard orginally under the title “Trois contributions an calcul des propositions bivalent” inStudia Societatis Scientiarum Torunensis, Toruń, Polonia, Sectio A, vol. I (1948), pp. 3–15. 相似文献
124.
125.
Katarzyna HaŁkowska 《Studia Logica》1989,48(4):461-464
We construct a class K of algebras which are matrices of the logical system Z introduced in [4]. It is shown that algebras belonging to the class K are decomposable into disjoint subalgebras which are Boolean algebras.To the memory of Jerzy SupeckiTranslated From the Polish by Jan Zygmunt. 相似文献
126.
Wlesław Dziobiak 《Studia Logica》1982,41(4):415-428
In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve problem 4 asked in Rautenberg [10]. 相似文献
127.
128.
Allatum est die 28 Septembris 1970 相似文献
129.
Problematyka i glówne tezy tej pracy pochodz od pierwszego autora. Udzial drugiego autora sprowadza sie do propozycji utosamienia jeezyka potocznego z formalizmem logiki zda i logiki nazw oraz do pewnych sugestii odnonie systematyzacji materialuAllatum est die 2 Octobris 1965 相似文献
130.