Media type: Book Title: On the first-order theory of real exponentiation Contributor: Servi, Tamara [Author] Published: Pisa: Edizioni della Normale, 2008 Published in: Tesi ; 6 Extent: XIV, 110 S. Language: English ISBN: 9788876423253 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Origination: Footnote: