Language, proof and logic /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Barwise, Jon, 1942-2000 (Autor), Etchemendy, John, 1952- (Autor)
Další autoři: Allwein, Gerard, 1956- (Autor úvodu atd.), Barker-Plummer, Dave, 1960- (Autor úvodu atd.), Liu, Albert, 1966- (Autor úvodu atd.)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Stanford, California : CSLI Publications, c2008
Témata:
Popis
Fyzický popis:xi, 587 s. + 1 CD-ROM, 1 LPL software manual (vii, 56 s.).
ISBN:978-1-57586-374-0