Cover Image

Simple type theory : a practical logic for expressing and reasoning about mathematical ideas

Main Author: Farmer, William M
Edition: Second edition.
Subjects:
Computer science -- > Mathematics
Electronic books
Online Access: http://library.unisel.edu.my/web/guest/mylibrary

Similar Items