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
Verantwortlich:
Veröffentlicht:
Stanford : CSLI Publications, [2017]
Umfang:
xvii, 210 Seiten : Illustrationen, Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
CSLI lecture notes ; No. 216
Anmerkungen:
Includes bibliographical references and index
Also published electronically
Also published electronically
ISBN:
1575869519 ; 9781575869513