Publisher: Elsevier
Founded in: 1969
Total resources: 2
E-ISSN: 1873-2461
ISSN: 0168-0072
Subject: O13 Higher Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Pure and Applied Logic
Menu
Equivalence between Wadge and Lipschitz determinacy
Annals of Pure and Applied Logic , Vol. 123, Iss. 1, 2003-10 , pp.A proof-theoretic investigation of a logic of positions
By Baratella S., Masini A. in (2003)
Annals of Pure and Applied Logic , Vol. 123, Iss. 1, 2003-10 , pp.Homomorphisms and quotients of degree structures
By Englert B., Lerman M., Wald K. in (2003)
Annals of Pure and Applied Logic , Vol. 123, Iss. 1, 2003-10 , pp.Almost free groups and long Ehrenfeucht-Fraisse games
Annals of Pure and Applied Logic , Vol. 123, Iss. 1, 2003-10 , pp.The proof-theoretic analysis of 1 1 transfinite dependent choice
Annals of Pure and Applied Logic , Vol. 122, Iss. 1, 2003-08 , pp.CM-triviality and relational structures
By Verbovskiy V., Yoneda I. in (2003)
Annals of Pure and Applied Logic , Vol. 122, Iss. 1, 2003-08 , pp.Proof theory for theories of ordinals-I: recursively Mahlo ordinals
Annals of Pure and Applied Logic , Vol. 122, Iss. 1, 2003-08 , pp.True cofinality and bounding number for small products of partial orders
Annals of Pure and Applied Logic , Vol. 122, Iss. 1, 2003-08 , pp.On non-abelian C-minimal groups
Annals of Pure and Applied Logic , Vol. 122, Iss. 1, 2003-08 , pp.