Duchoň, M. Krantz, S. G: HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE.
Chicago Style (17th ed.) CitationDuchoň, Miloslav. Krantz, S. G: HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE.
MLA (9th ed.) CitationDuchoň, Miloslav. Krantz, S. G: HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE.
Warning: These citations may not always be 100% accurate.


