Decidable theories 1 Buechi's monadic second order successor arithmetic / D. Siefkes

Bibliographische Detailangaben

1. Verfasser:	Siefkes, Dirk (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Springer 1970
Schriftenreihe:	Lecture notes in mathematics 120
Schlagworte:	Büchi, Julius Richard
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!