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 – 12 von 12 für Suche 'Fitting, Melvin, 1942-', Suchdauer: 0,03s 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, S. N., Fitting, Melvin, 1942-

    Veröffentlicht 2019
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    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:
  3. 3
    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:
  4. 4
    Intuitionistic logic

    Intuitionistic logic von Fitting, Melvin 1942-

    Veröffentlicht 1969
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Incompleteness in the land of sets

    Incompleteness in the land of sets von Fitting, Melvin 1942-

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Fundamentals of generalized recursion theory

    Fundamentals of generalized recursion theory von Fitting, Melvin 1942-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Fundamentals of generalized recursion theory

    Fundamentals of generalized recursion theory von Fitting, Melvin 1942-

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


    Gespeichert in:
  8. 8
    Intuitionistic logic model theory and forcing

    Intuitionistic logic model theory and forcing von Fitting, Melvin 1942-

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    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:
  10. 10
    Computability theory, semantics, and logic programming

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    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:
  12. 12
    Raymond Smullyan on self reference

    Raymond Smullyan on self reference

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


    Gespeichert in:

Suchwerkzeuge: