1-3 of 3 Books
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
By Hans Hermes
Petri-Netze
By Lutz Priese
Computability and decidability
By Jacques Loeckx