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)

O książce

Autor: Roman Murawski
Lata wydań: 1999
Liczba wydań: 1
Języki: angielski
Rodzaj: książka

Wczytuję…

Recursive functions and metamathematics : problems of completeness and decidability, Godel's theorems, Roman Murawski — w których bibliotekach | gdziejestksiazka.pl