Filter
Matematisk logik
Filter
Laws of Form is a seminal work in foundations of logic, mathematics and philosophy published by G Spencer-Brown in 1969. The book provides a new point of view on form and the role …
Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or …
This volume results from two programs that took place at the Institute for Mathematical Sciences at the National University of Singapore: Aspects of Computation — in Celebration of …
This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-answer problems to proof-based …
The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of …