Treffer: Logical reasoning with diagrams & sentences using Hyperproof

Titel:
Logical reasoning with diagrams & sentences using Hyperproof / Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; programm by Michael Murray and Albert Lui ; with additional programming by Murad Akhter and Andrei Aron
Veröffent­licht:
Stanford : CSLI Publications, [2017]
Umfang:
xvii, 210 Seiten : Illustrationen, Diagramme
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
CSLI lecture notes ; No. 216
Anmerkungen:
Includes bibliographical references and index
Also published electronically
ISBN:
1575869519 ; 9781575869513