Computability and unsolvability / Martin Davis,...

Date :

Type : Livre / Book

Langue / Language : anglais / English

Catalogue Worldcat

Fonctions récursives

Fonctions calculables

Non-résolubilité (logique mathématique)

Classification Dewey : 517.5

Collection : McGraw-Hill series in information processing and computers / J. P. Nash, consulting ed., Richard W. Hamming, consulting ed., Norman R. Scott, consulting ed / New York : McGraw-Hill , 19XX-....