Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory,
This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set
Graph-structured data is ubiquitous throughout the natural and social sciences, from telecommunication networks to quantum chemistry. Building relational induct
The great work that founded analytical geometry. Includes the original French text, Descartes' own diagrams, and the definitive Smith-Latham translation. "The g