Formalizing Finite Set Combinatorics in Type Theory Contributor(s): Singh, Abhishek Kr (Author) |
|||
ISBN: ISBN-13: 9798223614104 Publisher: Mohammed Abdul Sattar
Binding Type: Paperback Published: December 2023 |
Additional Information |
BISAC Categories: - Mathematics | Combinatorics |
Physical Information: 0.24" H x 8.5" W x 11" L (0.63 lbs) 116 pages |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |