Mit ungewöhnlicher Lebendigkeit im Stil mißt Quine die logische Praxis und Theorie gleichermaß...
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer scien...
The author, who died in 1984, is well-known both as a person and through his research in mathemat...
Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen un...
Dieses Buch dokumentiert einen Diskussionsprozeß, der an vielen Orten stattfindet und vom Arbeits...
The author, who died in 1984, is well-known both as a person and through his research in mathemat...
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer scien...
Decidability and completeness of SC.- Benefits of the decision procedure.