Computability and unsolvability

Saved in:

Bibliographic Details
Main Author:	Davis, Martin, 1928-2023 (Author)
Format:	Book
Language:	English
Published:	New York : McGraw-Hill, 1958
Genre/form:	monografie
Subjects:	teorie vyčíslitelnosti algoritmy teorie rekurze rekurzivní funkce matematická logika
Tags:	Add Tag No Tags, Be the first to tag this record!