Search this site
Embedded Files
Skip to main content
Skip to navigation
Sarada Prasad Gochhayat
Home
Research
Publications
Academics
Activities
Courses
Cyber Security Courses
CPS and Social Network
Data Science and Signal Processing
Discrete Math and Logic
Fuzzing
Formal system and automata
QR code Security
Computation For Kids
Security groups
Contact
Sarada Prasad Gochhayat
Discrete Math and Logic
A Spiral Workbook for Discrete Mathematics
(Book)
A Concise Introduction to Logic
forallX: an Introduction to Formal Logic
A Friendly Introduction to Mathematical Logic
Courses on
Discrete Mathematics, Visual Group theory and Advance mathematics
by Prof.
Matthew Macauley
Formal Methods of Software Design
Google Sites
Report abuse
Google Sites
Report abuse