Related Books

The Art of Typewriting: Introductory Chapters
Language: en
Pages: 134
Authors: Marvin Sackner
Categories: Design
Type: BOOK - Published: 2015-10-05 - Publisher: Thames & Hudson

GET EBOOK

This eBook version includes the Preface, Foreword and introductory texts only. Here is an authoritative and beautiful overview of the graphic art produced by ar
The Little Typer
Language: en
Pages: 418
Authors: Daniel P. Friedman
Categories: Computers
Type: BOOK - Published: 2018-09-18 - Publisher: MIT Press

GET EBOOK

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a
Electro-typing
Language: en
Pages: 302
Authors: John W. Urquhart
Categories: Electrometallurgy
Type: BOOK - Published: 1881 - Publisher:

GET EBOOK

Electro-Typing
Language: en
Pages: 304
Authors: J. W. Urquhart
Categories:
Type: BOOK - Published: 1881 - Publisher:

GET EBOOK

An Introduction to Mathematical Logic and Type Theory
Language: en
Pages: 404
Authors: Peter B. Andrews
Categories: Mathematics
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

GET EBOOK

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti