Logical reasoning with diagrams & sentences using Hyperproof

Bibliographische Detailangaben

1. Verfasser:	Barker-Plummer, Dave (VerfasserIn)
Weitere Verfasser:	Barwise, Jon (VerfasserIn), Etchemendy, John (VerfasserIn), Murray, Michael (MitwirkendeR), Lui, Albert (MitwirkendeR), Akhter, Murad (MitwirkendeR), Aron, Andrei (MitwirkendeR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford CSLI Publications 2017
Schriftenreihe:	CSLI lecture notes No. 216
Schlagworte:
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!