Follow us on

Search

Search Results

Results: 1-8 of 8

Edit research

Active filters:

Names: Hermes, Hans

View

Sort by

Einfuhrung in die Verbandstheorie

Testo

Einfuhrung in die Verbandstheorie

Hermes, Hans

Scritti postumi

Testo

Scritti postumi

Frege, Gottlob

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Testo

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Hermes, Hans

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Testo

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Eine Termlogik mit Auswahloperator

Testo

Eine Termlogik mit Auswahloperator

Hermes, Hans

Enumerability decidability computability : an introduction to the theory of recursive functions

Testo

Enumerability decidability computability : an introduction to the theory of recursive functions

Hermes, Hans

Mathesis Universalis : Abhandlungen zur Philosophie als strenger Wissenschaft

Testo

Mathesis Universalis : Abhandlungen zur Philosophie als strenger Wissenschaft

Scholz, Heinrich

Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive

Testo

Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive

Hermes, Hans

Filter results

Main author
- Hermes, Hans
  (6)
- Frege, Gottlob
  (1)
- Scholz, Heinrich
  (1)
- Other Everyone
Names
- Kambartel, Friedrich
  (2)
- Ballo, Edoardo
  (1)
- Frege, Gottlob
  (1)
- Kaulbach, Friedrich
  (1)
- Picardi, Eva
  (1)
- Ritter, Joachim
  (1)
- Scholz, Heinrich
  (1)
- Other Everyone
Tongue
- TEDESCO
  (4)
- INGLESE
  (2)
- ITALIANO
  (2)
- Other Everyone
Dewey class
BNI subject
- Algoritmi
  (2)
- TEOREMA DI GODEL
  (2)
- TEORIA DELLA RICORSIVITA
  (2)
- Logica matematica
  (1)
- Matematica - Teorie
  (1)
- Other Everyone