Jump to main content

yr 〜
yr

Search results 5

Models of Peano arithmetic as modules over initial segments and quantifier elimination results for products of ordered Abelian groups

Models of Peano arithmetic as modules over initial segments and quantifier elimination results for products of ordered Abelian groups
Paper博士論文
Nobuya Suzuki [著][Nobuya Suzuki][2007]<UT51-2007-N117>
National Diet Library

The structure of models of Peano arithmetic

The structure of models of Peano arithmetic
Paper図書
Roman Kossak, James H. SchmerlClarendon2006
Other Libraries in Japan

Models of Peano arithmetic

Models of Peano arithmetic
Paper図書
Richard KayeClarendon Press1991
Other Libraries in Japan

Oxford logic guides

Oxford logic guides
Paper図書
Clarendon Press
Other Libraries in Japan
  • Related Material...logical system Models of Peano arithmetic Foundations wi......e structure of models of Peano arithmetic Recursive aspects of descript...

Oxford science publications

Oxford science publications
Paper図書
Clarendon Press
Other Libraries in Japan
  • Related Material...logical system Models of Peano arithmetic Numerical meth......e structure of models of Peano arithmetic Low-dimensional nitride semic...

Reached to the end of result.

RSS