Period of time： 2011年8期
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 8
Menu
Definability and automorphisms in abstract logics
Archive for Mathematical Logic,volume 43,issue 8 , Vol. 43, Iss. 8, 2004-11 , pp.
Access to resources
Recommend
Approximation Representations for ∆2 Reals
By Barmpalias George in (2004)
Archive for Mathematical Logic,volume 43,issue 8 , Vol. 43, Iss. 8, 2004-11 , pp.An approach to infinitary temporal proof theory
By Baratella Stefano in (2004)
Archive for Mathematical Logic,volume 43,issue 8 , Vol. 43, Iss. 8, 2004-11 , pp.A blend of methods of recursion theory and topology: A Π10 tree of shadow points
By Kalantari Iraj,Welch Larry in (2004)
Archive for Mathematical Logic,volume 43,issue 8 , Vol. 43, Iss. 8, 2004-11 , pp.