Filter
Sökt på: Sökresultat
Filter
1 träff
Logic for Computer Science
häftad,
2015,
Engelska,
ISBN 9780486780825
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal …