Skip to contents

  1. Tarski, Alfred [Author] ; Givant, Steven R. [Editor]

    Collected papers

    Books
    Close

    Bookmarks

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

    Basel; Boston; Stuttgart: Birkhäuser, 1986-

    Published in: Contemporary mathematicians

  2. Alex, Jürgen [Author] ; Tarski, Alfred [Other]; Zuse, Konrad [Other]

    Zur Entstehung des Computers : von Alfred Tarski zu Konrad Zuse ; zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse ; Tertium non datur - [Als Ms. gedr.]

    Books
    View online
    Close

    Bookmarks

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

    Düsseldorf: VDI-Verl., 2007

    Published in: Technikgeschichte / Technikgeschichte in Einzeldarstellungen ; 51

  3. Henkin, Leon [Author]; Monk, James Donald [Author]; Tarski, Alfred [Author]

    Cylindric algebras

    Books
    Close

    Bookmarks

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

    Amsterdam [u.a.]: North-Holland Publ., 1971-1985

    Published in: Studies in logic and the foundations of mathematics ; .

  4. Tarski, Alfred [Other]; Henkin, Leon [Editor] ; Tarski Symposium University of California, Berkeley, 1971

    Proceedings - [Online-Ausg.]

    Books
    View online
    Close

    Bookmarks

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

    Providence: Published for the Association for Symbolic Logic by American Mathematical Society, 1974

    Published in: Proceedings of symposia in pure mathematics 2324-707X ; v. 25