## Mathmatics for Computer Science

Learn proofs, structures, counting, probability, and recurrences.

View Book »

## Calculus Made Easy

Some calculus-tricks are quite easy. Some are enormously difficult. This book makes learning calculus easy.

View Book »

## Category Theory for Computer Science

This book is written specifically to be read by researchers and students in computer science.

View Book »

## Number Theory

The goal of this open-source number theory textbook is to gather up all the core subfields of
number theory into one text.

View Book »

## Mathematical Logic - an Introduction

Learn set theory, turing machines, and logic !

View Book »

## *Proofs and Types

This little book comes from a short graduate course on typed -calculus given at
the Universite Paris VII in the autumn term of 1986{7. It is not intended to be
encyclopedic | the Church-Rosser theorem, for instance, is not proved | and
the selection of topics was really quite haphazard.

View Book »

## *Mathematics for CS (2004)

Learn proofs, induction, number theory, graph theory, communication networks, relations, sums,recurrences, and counting.

View Book »