發送短信

數:

提供者:

CAPTCHA:

  ______     ___     __   __   _    _    __   _   
 /_____//   / _ \\   \ \\/ // | || | || | || | || 
 `____ `   / //\ \\   \   //  | || | || | '--' || 
 /___//   |  ___  ||  / . \\  | \\_/ || | .--. || 
 `__ `    |_||  |_|| /_//\_\\  \____//  |_|| |_|| 
 /_//     `-`   `-`  `-`  --`   `---`   `-`  `-`  
 `-`

Please enter what you see:

發送短信 : DECIDABILITY OF FIRST ORDER LOGIC OF BOOLEAN ALGEBRAS