Slika na naslovnici

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Hermes, Hans
Format:	Knjiga
Jezik:	nemščina
Izdano:	Berlin, Heidelberg, New York Springer 1971
Serija:	Heidelberger Taschenbücher 87
Oznake:	Označite Brez oznak, prvi označite!
Order eBook:
Order Book:	Login to order

Slika na naslovnici

Hundert Jahre formale Logik od Hermes, Hans

Izdano 1977

Knjiga

Slika na naslovnici

Hundert Jahre formale Logik od Hermes, Hans

Izdano 1977

Knjiga

Slika na naslovnici

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

Izdano 1972

Knjiga

Slika na naslovnici

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

Izdano 1968

Knjiga

Slika na naslovnici

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

Izdano 1967

Knjiga

Slika na naslovnici

Eine Termologik mit Auswahloperator. od Hermes, Hans

Izdano 1965

Knjiga

Slika na naslovnici

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

Izdano 1965

Knjiga

Slika na naslovnici

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

Izdano 1963

Knjiga

Slika na naslovnici

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

Izdano 1963

Knjiga

Slika na naslovnici

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

Izdano 1961

Knjiga

Slika na naslovnici

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

Izdano 1955

Knjiga

Slika na naslovnici

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

Izdano 1913

Knjiga

Slika na naslovnici

Enumerability, decidability, computability od Hermes, Hans

Knjiga