Mathematical logic stubs

ID: mathematical-logic-stubs

New to topics? Read the docs here!