Suchergebnisse - Farmer, William M. 19XX-

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    von Farmer, William M. 19XX-

    Veröffentlicht 2023
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
    von Farmer, William M. 19XX-

    Veröffentlicht 2023
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: