395 85 16MB
English Year 2021
Report DMCA / Copyright
DOWNLOAD FILE
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional log
475 101 5MB Read more
This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlightin
1,287 253 7MB Read more
230 111 3MB Read more
284 76 6MB Read more
1,966 254 548KB Read more
1,106 173 6MB Read more
314 48 16MB Read more
160 96 26MB Read more
Graph Theory: An Introduction to Proofs, Algorithms, and Applications Graph theory is the study of interactions, confli
1,063 152 15MB Read more
1,365 116 23MB Read more