| Shelfclass_id | 3.D.4 |
| Sortkey | BOOLOS, GEORGE S |
| Authors | George S. Boolos, Richard Carl Jeffrey |
| Title | Computability and Logic |
| Publisher | Cambridge University Press |
| Edition | 3. ed |
| Year | cop. 1989 |
| Languages | eng |
| Isbn | 052138026, 0521389232 |
| Description | X (inb.) (hft.) x, 304 s. ill |
| Record date | 20060630 |
| Location | Cambridge |
| Keywords | Logic, Symbolic and mathematical, Matematisk logik, Mathematical logic, Räkneteori, Theory of computation, Rekursiva funktioner, Recursive functions, Logic |