Treffer: Logical Methods
Titel:
Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday / edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler
Beteiligt:
Veröffentlicht:
Boston, MA : Imprint: Birkhäuser, 1993
Umfang:
XIV, 816 Seiten
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Progress in Computer Science and Applied Logic ; 12
Andere Ausgaben:
Elektronische Reproduktion von: Logical Methods. - Boston, MA : Birkhäuser, 1993
Vorliegende Ausgabe:
Online-Ausgabe: Berlin : Springer, 2015. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)
ISBN:
9781461203254 ; 1461203252 ; 9781461267089 (Sekundärausgabe) ; 1461267080 (Sekundärausgabe)
DOI:
10.1007/978-1-4612-0325-4