Product Information
Efficient interpolation for the intuitionistic sequent calculus
by Goerdt, Andreas
Technische Universität Chemnitz
year: 2000
10 Seiten
Heft
order number: 1448958
description
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 - a shop
from Versandantiquariat
Petra Gros