<<An>> introduction to mathematical logic and type theory to truth through proof

Bibliographische Detailangaben

1. Verfasser:	Andrews, Peter B. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Orlando u.a. Acad. Pr. 1986
Ausgabe:	1. [Dr.]
Schriftenreihe:	Computer science and applied mathematics
Schlagworte:	Mathematische Logik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!