| BOOLOS, George. Computability and logic. Edited by Richard C. Jeffrey. 3rd ed. Cambridge: Cambridge University Press, 1989, x, 304. ISBN 0521389232. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Computability and logic |
| Autoři | BOOLOS, George. Edited by Richard C. Jeffrey. |
| Vydání | 3rd ed. Cambridge, x, 304, 1989. |
| Nakladatel | Cambridge University Press |
| Další údaje | |
|---|---|
| ISBN | 0521389232 |
| Změnil | Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 13:43. |
VytisknoutZobrazeno: 18. 10. 2024 00:58