Produktinfo
Efficient interpolation for the intuitionistic sequent calculus
von Goerdt, Andreas
Technische Universität Chemnitz
Jahr: 2000
10 Seiten
Heft
Bestellnummer: 1448958
Beschreibung
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Heft - ordnungsgemäß entwidmet. Englische Sprache.
books4less - ein Shop
des Versandantiquariats
Petra Gros