 |
Computability & Unsolvability by Davis, Martin12 ott, 2017 Tags=[Recursive functions & Unsolvability (Mathematical logic) & Computable functions] Formats=[EPUB] ISBN=[9780486614717] LCN=[QA9.6.5.D38 1982] OCLC=[439143141] Year=[1958] Words=[73,051]
|
 |
Introduction to Symbolic Logic and Its Applications by Carnap, Rudolf & Helmer, Olaf14 ott, 2016 Formats=[EPUB] OCLC=[870864288] Year=[1958] Words=[111,535]
|