Der Perlentaucher unter den Buchläden

Genauer suchen ( Treffer)
Filter schließen ( Treffer)

Sie haben nach Troelstra, Anne S. gesucht

  1. Bibliography of Natural History Travel Narratives
    eng
    Anne S. Troelstra
    Bibliography of Natural History Travel Narratives
    • Brill
    • 2017
    • Gebunden
    • 482 Seiten
    268,50€

    Etwa 20 Tage

  2. Basic Proof Theory
    eng
    Anne S. Troelstra / A. S. Troelstra …
    Basic Proof Theory
    • Cambridge University Press
    • 2002
    • Taschenbuch
    • 432 Seiten
    65,80€

    in Kürze

    Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
  3. Principles of Intuitionism
    eng
    Anne S. Troelstra
    Principles of Intuitionism
    Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
    • Springer Berlin Heidelberg
    • 1969
    • Taschenbuch
    • 116 Seiten
    26,70€

    in Kürze

    Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and o…