Treffer 1 - 3 von 3 für Suche 'Holmes, M.Randall', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    Polymorphic type-checking for the ramified theory of types of Principia Mathematica

    Polymorphic type-checking for the ramified theory of types of Principia Mathematica von Holmes, M.Randall


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Systems of combinatory logic related to predicative and ‘mildly impredicative’ fragments of Quine's ‘New Foundations’

    Systems of combinatory logic related to predicative and ‘mildly impredicative’ fragments of Quine's ‘New Foundations’ von Holmes, M.Randall


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Systems of combinatory logic related to Quine's ‘New Foundations’

    Systems of combinatory logic related to Quine's ‘New Foundations’ von Holmes, M.Randall


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: