The following pages link to (Q4274292):
Displaying 7 items.
- Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems (Q1125201) (← links)
- Classical recursion theory. The theory of functions and sets of natural numbers (Q1188502) (← links)
- On fuzzification of Tarski's fixed point theorem without transitivity (Q1697521) (← links)
- Immune Systems in Computer Virology (Q3195689) (← links)
- Roots and (Re)sources of Value (In)definiteness Versus Contextuality (Q5119677) (← links)
- Secretive interaction. Players and strategies (Q6614887) (← links)
- Pour-El's landscape (Q6670877) (← links)