Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]
mainEntity
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]
associatedMedia
<http://catdir.loc.gov/catdir/enhancements/fy0823/99041793-d.html>
<http://catdir.loc.gov/catdir/enhancements/fy0823/99041793-t.html>
<http://www.loc.gov/catdir/enhancements/fy0823/99041793-d.html>
<http://www.loc.gov/catdir/enhancements/fy0823/99041793-t.html>
author
inLanguage
isbn
0792359046
mainEntityOfPage
name
Recursive functions and metama ...... ecidability, Gödel's theorems
numberOfPages
publication
sameAs
translationOfWork
label
Recursive functions and metama ...... ki ; [transl. from the Polish]