• mathematical logic
• symbolic logic
• formal logic

boom town  boom vang  boolean operation  boolean search  boomer  boolean expression  boom  boom out  boom box  boolean logic