Work

Some Reasons for Generalizing Recursion Theory

Year: 1971

Type: book-chapter

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(08)71230-8

Author: G. Kreisel

Institution: Stanford University

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1557500530

FWCI: 11.89

Cites: 50

Cited by: 58

Related to: 10