Skip to contents

  1. Surányi, László [Author]

    Metaaxiomatische Probleme - [1. dt. Ausg]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Thun; Frankfurt am Main: Deutsch, 1999 ; Budapest: Typotex, 1999

  7. Pacholski, Leszek [Editor]; Wierzejewski, J. [Other]; Wilkie, A. [Other] ; Conference on Applications of Logic to Algebra and Arithmetic 1979 Karpacz

    Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic, held at Karpacz, Poland, September 1-7, 1979

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg [usw.]: Springer, 1980

    Published in: Lecture notes in mathematics ; 834

  10. Pacholski, Leszek [Author] ; Wierzejewski, Jedrzej [Editor]; Wilkie, Alec J. [Editor]

    Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1980

    Published in: Lecture notes in mathematics ; 834

  12. Moszyńska, Maria

    Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski. Ein axiomatischer Aujbau der euklidischen Geometrie. Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin etc. 1983, pp. 1–171. - Wolfram Schwabhäuser. Metamathematische Betrachtungen. Metamathematische Methoden in der Geometrie, pp. 173–457

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge University Press (CUP), 1986

    Published in: Journal of Symbolic Logic, 51 (1986) 4, Seite 1073-1075