Work

On provable recursive functions.

Year: 1968

Type: article

Source: Notre Dame Journal of Formal Logic

DOI: 10.1305/ndjfl/1093893356

Author: H. B. Enderton

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Strong

OpenAlex ID: W1977178408

FWCI: 0.573

Cites: 9

Cited by: 2

Related to: 10