Suchergebnisse - Fitting, Melvin 1942-

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
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1996
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Justification logic: reasoning with reasons
    von Artemov, S. N.

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Fitting, Melvin 1942- …”
    Online lesen
    E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Intuitionistic logic
    von Fitting, Melvin 1942-

    Veröffentlicht 1969
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Fundamentals of generalized recursion theory
    von Fitting, Melvin 1942-

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2002
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2007
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Fundamentals of generalized recursion theory
    von Fitting, Melvin 1942-

    Veröffentlicht 1981
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1969
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Raymond Smullyan on self reference

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Fitting, Melvin 1942- …”
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Raymond Smullyan on Self Reference

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Fitting, Melvin 1942- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: