Reihe Texts in Theoretical Computer Science. An EATCS SeriesAlexander Leitsch × The Resolution Calculus Alexander LeitschSpringer BerlineBook201253,49 € The Resolution Calculus Alexander LeitschSpringer BerlinSoftcover201153,49 €
