Operation Overlord | Operation Enduring Freedom | Operation Barbarossa | Organization for Security and Co-operation in Europe | Operation Market Garden | Organisation for Economic Co-operation and Development | Operation Torch | Operation Vistula | operation | Operation Provide Comfort | Operation Anaconda | Police and Judicial Co-operation in Criminal Matters | Operation Weserübung | Operation Shingle | Operation Ivy | Operation Highjump | Operation Blue Star | Operation Anthropoid | Operation Paperclip | Operation Downfall | Operation Deny Flight | Operation Thunderbolt | Operation Southern Watch | Operation Michael | Operation Entebbe | Operation Condor | binary | Operation Yoav | Operation Varsity | Operation United Shield |
He revisited Boolean axiomatics in 1933, proving that Boolean algebra required but a single binary operation (denoted below by infix '+') that commutes and associates, and a single unary operation, complementation, denoted by a postfix prime.