海量图书期刊资源,随时随地畅享阅读乐趣
Models and Games || Model Theory of Infinitary LogicVaananen, Jouko · 2011
Letter to the EditorJouko Vaananen · 2001
Models and Games || ModelsVaananen, Jouko · The Transmission-Line Modeling Method:TLM · 2011
Models and Games || GraphsVaananen, Jouko · 2011
Logic Colloquium 2006 || IntroductionCooper, S. Barry; Geuvers, Herman; Pillay, Anand; Vaananen, Jouko · 2009
Logic Colloquium 2006 || On finite imaginariesCooper, S. Barry; Geuvers, Herman; Pillay, Anand; Vaananen, Jouko · 2009
Models and Games || PrefaceVaananen, Jouko · 2011
Models and Games || IntroductionVaananen, Jouko · 2011
Models and Games || Preliminaries and NotationVaananen, Jouko · 2011