Melvin Fitting

Melvin Chris Fitting (* 24. Januar 1942 in Troy (New York)) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik, Informatik und Philosophie der Mathematik befasst. Veröffentlicht in Wikipedia
Treffer 1 – 6 von 6 für Suche 'Fitting, Melvin 1942-', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Justification logic reasoning with reasons

    Justification logic reasoning with reasons von Artemov, Sergej N. 1951-, Fitting, Melvin 1942-

    Veröffentlicht 2019
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Types, Tableaus, and Gödel's God

    Types, Tableaus, and Gödel's God von Fitting, Melvin 1942-

    Veröffentlicht 2002
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    First-order logic and automated theorem proving

    First-order logic and automated theorem proving von Fitting, Melvin 1942-

    Veröffentlicht 1996
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Computability theory, semantics, and logic programming

    Computability theory, semantics, and logic programming von Fitting, Melvin 1942-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Raymond Smullyan on self reference

    Raymond Smullyan on self reference

    Veröffentlicht 2017
    Weitere Verfasser: “… Fitting, Melvin 1942- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Raymond Smullyan on Self Reference

    Raymond Smullyan on Self Reference

    Veröffentlicht 2017
    Weitere Verfasser: “… Fitting, Melvin 1942- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: