Term logic with choice operator

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hermes, Hans (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1970
Ausgabe:	1. Engl. ed., rev. and enl. from the 1. German ed.
Schriftenreihe:	Lecture notes in mathematics 6
Schlagworte:	Logic, symbolic and mathematical > Mathematische Logik > Term
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	55 S.