The book introduces the general theory of relativity and includes applications to cosmology. The book contains a thorough introduction to …
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest …
This monograph contains a selection of over 250 propositions which are equivalent to AC. The first part on set forms …
