Computability and logic /
Shranjeno v:
| Main Authors: | , |
|---|---|
| Format: | Knjiga |
| Jezik: | English |
| Izdano: |
Cambridge ; New York ; Melbourne :
Cambridge University Press,
1999, cop. 1989.
|
| Izdaja: | 3rd ed., reprinted. |
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| LEADER | 00965nam a2200289 i 4500 | ||
|---|---|---|---|
| 001 | 10512904 | ||
| 003 | SI-MaCOB | ||
| 005 | 20040922000000.0 | ||
| 008 | 010220t19991989xxka f||||||||1 ||eng c | ||
| 020 | |a 0521389232 |q pbk | ||
| 040 | |a PEFMB |b slv |c SI-MaIIZ |d PEFMB |e ppiak | ||
| 080 | |a 16 | ||
| 100 | 1 | |a Boolos, George. |4 aut | |
| 245 | 0 | 0 | |a Computability and logic / |c George S. Boolos, Richard C. Jeffrey. |
| 250 | |a 3rd ed., reprinted. | ||
| 260 | |a Cambridge ; |a New York ; |a Melbourne : |b Cambridge University Press, |c 1999, cop. 1989. | ||
| 300 | |a X, 304 str. : |b ilustr. ; |c 24 cm. | ||
| 504 | |a Kazalo. | ||
| 650 | 0 | 4 | |a Fonctions calculables. |
| 650 | 0 | 4 | |a Fonctions récursives. |
| 650 | 0 | 4 | |a Logique symbolique et mathématique. |
| 650 | 0 | 0 | |a Computable functions. |
| 650 | 0 | 0 | |a Recursive functions. |
| 650 | 0 | 0 | |a Logic, Symbolic and mathematical. |
| 653 | 0 | |a logika |a filozofija | |
| 653 | 0 | |a logics |a philosophy | |
| 700 | 1 | 2 | |a Jeffrey, Richard C. |4 aut |