Recursive functions and metamathematics : problems of completeness and decidability, Godel's theoremsRoman Murawski Okładka: Recursive functions and metamathematics : problems of completeness and decidability, Godel's theorems

Recursive functions and metamathematics : problems of completeness and decidability, Godel's theorems

Name: Recursive functions and metamathematics : problems of completeness and decidability, Godel's theorems
Author: Roman Murawski

Roman Murawski

0 bibliotek1 wydanie · 1999

Książka Biblioteki (0)

Żadna biblioteka nie ma tej książki.

Wczytuję…

Biblioteki: Recursive functions and metamathematics : problems of completeness and decidability, Godel's theorems, Roman Murawski | gdziejestksiazka.pl