E-recursion, Forcing And C*-algebrasChi Tat Chong, Yue Yang og 3 andreInnbundetEngelskDel av serien Lecture Notes Series, Institute for Mathematical Sciences, National University of SingaporeLegg i handlekurvNettlager
Incompleteness for Higher-Order ArithmeticYong ChengPocketEngelskDel av serien SpringerBriefs in MathematicsLegg i handlekurvNettlager
E-recursion, Forcing And C*-algebrasChi Tat Chong, Yue Yang og 3 andrePocketEngelskDel av serien Lecture Notes Series, Institute for Mathematical Sciences, National University of SingaporeLegg i handlekurvNettlager
Theory of Computational ComplexityDing-Zhu Du, Ker-I KoInnbundetEngelskDel av serien Wiley Series in Discrete Mathematics and OptimizationLegg i handlekurvNettlager
Universal Algebraic LogicHajnal Andreka, Zalan Gyenis og 2 andreInnbundetEngelskDel av serien Studies in Universal LogicLegg i handlekurvNettlager
Propositional and Predicate Calculus: A Model of ArgumentDerek GoldreiPocketEngelskLegg i handlekurvNettlager
Predicative ArithmeticEdward NelsonPocketEngelskDel av serien Princeton Legacy LibraryLegg i handlekurvNettlager
Continuum TheorySam NadlerInnbundetEngelskDel av serien Chapman & Hall/CRC Pure and Applied MathematicsLegg i handlekurvNettlager
Fine Structure and Class ForcingSy D. FriedmanInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
Aspects of ComplexityDenis R. Hirschfeldt, Rod DowneyInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
One Hundred Years of Russell´s ParadoxGodehard LinkInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
The Determinacy of Long GamesItay NeemanInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary IdealW. Hugh WoodinInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
Recursion TheoryChi Tat Chong, Liang YuInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
Ordinal ComputabilityMerlin CarlInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
The Ultrapower AxiomGabriel GoldbergInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager
Model Theory of Operator AlgebrasIsaac GoldbringInnbundetEngelskDel av serien De Gruyter Series in Logic & its ApplicationsLegg i handlekurvNettlager