發送短信 : Mathematical semantics: a dual history? 1965-1975

 _____       ___                ______    _____   
|  __ \\    / _ \\    ____     /_   _//  |__  //  
| |  \ ||  / //\ \\  |    \\    -| ||-     / //   
| |__/ || |  ___  || | [] ||    _| ||_    / //__  
|_____//  |_||  |_|| |  __//   /_____//  /_____|| 
 -----`   `-`   `-`  |_|`-`    `-----`   `-----`  
                     `-`