Period of time： 2011年4期
Publisher： Springer Publishing Company
Founded in： 1950
Total resources： 21
ISSN： 0933-5846
Subject： O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Archive for Mathematical Logic,volume 43,issue 4
Menu
Access to resources
Recommend
Combinatorics of first order structures and propositional proof systems
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.On poset Boolean algebras of scattered posets with finite width
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.By Horčík Rostislav,Cintula Petr in (2004)
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.Induction, minimization and collection for ∆
By Fernández-Margarit A.,Lara-Martín F.F. in (2004)
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.Effectiveness for infinite variable words and the Dual Ramsey Theorem
By Miller Joseph S.,Solomon Reed in (2004)
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.Completeness theorem for propositional probabilistic models whose measures have only finite ranges
By Dordević Radosav,Rašković Miodrag,Ognjanović Zoran in (2004)
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.A note on a theorem of Kanovei
Archive for Mathematical Logic,volume 43,issue 4 , Vol. 43, Iss. 4, 2004-05 , pp.