Computability and logic

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

1989

Computability and logic

BOOLOS, George

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

Označené pro přenos do RIV

ISBN

0521389232

Změněno: 23. 2. 2026 06:05, Záznam byl importován z knihovního systému.

BOOLOS, George. Computability and logic. Edited by Richard C. Jeffrey. 3rd ed. Cambridge: Cambridge University Press, 1989, x, 304. ISBN 0521389232.

@article{,
   author = {Boolos, George},
   address = {Cambridge},
   edition = {3rd ed.},
   location = {Cambridge},
   isbn = {0521389232},
   publisher = {Cambridge University Press},
   title = {Computability and logic},
   year = {1989}
}

TY  - JOUR
AU  - Boolos, George
PY  - 1989
TI  - Computability and logic
PB  - Cambridge University Press
CY  - Cambridge
SN  - 0521389232
ER  -

BOOLOS, George. \textit{Computability and logic}. Edited by Richard C. Jeffrey. 3rd ed. Cambridge: Cambridge University Press, 1989, x, 304. ISBN~0521389232.