Omslagsbillede

Enumerability, decidability, computability [Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Engl.]. An introd. to the theory of recursive functions

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Hermes, Hans
Andre forfattere:	Herman, G. T. (Übers.), Plassmann, O. (Übers.)
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlin, Heidelberg, New York Springer 1965
Serier:	Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen 127
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!
Order eBook:
Order Book:	Login to order

Omslagsbillede

Hundert Jahre formale Logik af Hermes, Hans

Udgivet 1977

Bog

Omslagsbillede

Hundert Jahre formale Logik af Hermes, Hans

Udgivet 1977

Bog

Omslagsbillede

Einführung in die mathematische Logik. Klassische Prädikatenlogik af Hermes, Hans

Udgivet 1972

Bog

Omslagsbillede

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie d. rekursiven Funktionen af Hermes, Hans

Udgivet 1971

Bog

Omslagsbillede

Methoden der Logik und Mathematik. Statistische Methoden. Dargest. v. Hans Hermes. Erich Mittenecker. af Hermes, Hans

Udgivet 1968

Bog

Omslagsbillede

Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien. af Hermes, Hans

Udgivet 1967

Bog

Omslagsbillede

Eine Termologik mit Auswahloperator. af Hermes, Hans

Udgivet 1965

Bog

Omslagsbillede

Einführung in die mathematische Logik. Klassische Prädikatenlogik. af Hermes, Hans

Udgivet 1963

Bog

Omslagsbillede

Einführung in die mathematische Logik. Klassische Prädikatenlogik. af Hermes, Hans

Udgivet 1963

Bog

Omslagsbillede

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einf. in die Theorie der rekursiven Funktionen. af Hermes, Hans

Udgivet 1961

Bog

Omslagsbillede

Einführung in die Verbandstheorie Mit 24 Abb. af Hermes, Hans

Udgivet 1955

Bog

Omslagsbillede

Beitrag zur Behandlung der Kniescheibenbrüche. af Hermes, Hans

Udgivet 1913

Bog

Omslagsbillede

Enumerability, decidability, computability af Hermes, Hans

Bog