393 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
474 100 5MB Read more
This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlightin
1,263 251 7MB Read more
219 108 3MB Read more
1,935 246 548KB Read more
257 65 6MB Read more
1,105 173 6MB 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
157 94 26MB Read more
307 47 16MB Read more
1,358 116 23MB Read more