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