Pages that link to "Biography:J. Barkley Rosser"
From HandWiki
The following pages link to Biography:J. Barkley Rosser:
Displayed 28 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algorithm (← links)
- Archives of American Mathematics (← links)
- Logical consequence (← links)
- Rosser's trick (← links)
- Ordered pair (← links)
- Fuzzy concept (← links)
- List of incomplete proofs (← links)
- Proof theory (← links)
- Algorithm characterizations (← links)
- History of the Church–Turing thesis (← links)
- Church–Turing thesis (← links)
- Halting problem (← links)
- Church–Rosser theorem (← links)
- Post–Turing machine (← links)
- Abstract rewriting system (← links)
- Rosser's theorem (← links)
- Philosophy:Logicism (← links)
- Biography:Gerald Sacks (← links)
- Biography:List of logicians (← links)
- Biography:George E. Collins (← links)
- Biography:Marvin Stein (computer scientist) (← links)
- Biography:Haskell Curry (← links)
- Biography:Richard W. Conway (← links)
- Biography:Burton Dreben (← links)
- Biography:Benson Mates (← links)
- Organization:Association for Symbolic Logic (← links)
- Organization:New Foundations (← links)
- Organization:Institute for Defense Analyses (← links)
