Hans Hermes

Books by Hans Hermes

Total count: 28

• Beitrag zur Behandlung der KniesXcheibenbrüche

  1913-01-01
• Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.

  S. Hirzel1937-01-01
• Eine axiomatisierung der allgemeinen mechanik

  S. Hirzel1938-01-01
• Semiotikeine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen

  S. Hirzel1938-01-01
• Einführung in die Verbandstheorie.

  Springer1955-01-01
• Aufzählbarkeit, Entscheidbarkeit, BerechenbarkeitEinführung in die Theorie der rekursiven Funktionen.

  Springer1961-01-01
• Einführung in die mathematische Logik: Klassische Prädikatenlogik.

  Teubner1963-01-01
• La teoría de retículos y su aplicación a la lógica matemática.

  Consejo Superior de Investigacions Científicas [Instituto de Matemáticas "Jorge Juan"]1963-01-01
• Teoría de retículos y su aplicación a la lógica matemática.

  Publicaciones del Instituto de Mathemáticas1963-01-01
• 
  Eine Termlogik mit Auswahloperator.

  Springer-Verlag1965-01-01
• Enumerability, decidability, computability;An introduction to the theory of recursive functions

  Springer-Verlag1965-01-01
• Enumerability, decidability, computability; an introduction to the theory of recursive functions

  Academic Press1965-01-01
• Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien.

  Westdeutscher Verlag1967-01-01
• 
  Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien

  VS Verlag für Sozialwissenschaften1967-01-01
• Methoden der Logik und Mathematik.Dargestellt von Hans Hermes. Statistische Methoden. Dargestellt von Erich Mittenecker.

  Oldenbourg1968-01-01
• Enumerability · Decidability ComputabilityAn Introduction to the Theory of Recursive Functions

  Springer1969-01-01
• Einführung in die mathematische Logik.Klassische Prädikatenlogik.2., durchgesehene und erw. Aufl.

  Teubner1969-01-01
• Term logic with choice operator.[1st English ed.]

  Springer-Verlag1970-01-01
• 
  Introduction to mathematical logic.

  Springer-Verlag1973-01-01
• Posthumous Writings [of] Gottlob Frege

  Cambridge University Press1979-01-01
and 8 more