Popis: Three views of logic :

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Loveland, Donald W. (Autor), Hodel, Richard E. (Autor), Sterrett, S. G. (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Princeton : Princeton University Press, [2014]
Témata:	logika matematická logika počítačová věda teorie důkazu teorie vyčíslitelnosti computability theory computer science logic mathematical logic proof theory učebnice vysokých škol textbooks (higher)

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xv, 322 stran
ISBN:	978-0-691-16044-3