Тема, жанр, tags: Logic Symbolic and mathematical,Recursive functions,Entscheidungsproblem,Mathematische Logik,Theorie » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logic Symbolic and mathematical,Recursive functions,Entscheidungsproblem,Mathematische Logik,Theorie

book Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

pdf

Author: Surányi János
Language: German
Year: 1959

00

29.01.2024

0

0

book Rekursive Funktionen

Rekursive Funktionen

pdf

Author: Klaus Heidler Hans Hermes Friedrich Mahn
Language: German
Year: 1977

00

29.01.2024

0

0

book Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

pdf

Author: Stephen C. Kleene
Language: English
Year: 1969

00

27.01.2024

0

0

book The calculi of lambda-conversion

The calculi of lambda-conversion

pdf

Author: Church Alonzo
Language: English
Year: 1941

00

27.01.2024

0

0

book Degrees of unsolvability.

Degrees of unsolvability.

pdf

Author: Sacks Gerald E.
Language: English
Year: 1963

00

27.01.2024

0

0