TinREAD! |

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

LDR:00436nam0 2200145 450 001 341933
010 $a 0-486-43228-9
100 $a 20250728u m y0rumy5001 ba
101 0 $a eng
200 1 $a The undecidable $b Carte tipărită $e basic papers on undecidable propositions, unsolvable problems and computable functions $f edited by Martin Davis
210 # # $a Mineola $L s17106 $c Dover Publications $d 2004
215 $a 413 p.
300 $a Index
606 $3 136863 $a logică matematică
606 $3 136366 $a matematică
675 $a 51
679 $a 51 $d 50/54
702 0 $3 195417 $4 340 $a Davis $b Martin
801 3 $a RO $b BJVL