Type-Logical Syntax

For Educators
What are OER? Find OER List of OER Courses Adopted OER Get Help OER Grants Library Resources
Impact
About

Open Access Book

thumbnail image

Type-Logical Syntax

Author: Yusuke Kubota and Robert D. Levine

Source: MIT Press Open

Share

Texas A&M International University

Facebook Icon Instagram Icon Twitter Icon LinkedIn Icon YouTube Icon RSS Icon

5201 University Boulevard
Laredo, Texas 78041
956.326.2001
enroll@tamiu.edu

Learn More

About TAMIU
Current Students
Future Students
Alumni & Giving
Uconnect

Navigate

Accessibility
Report It!
Title IX Reporting
Mental Health Resources
Texas Veterans Portal
Faculty Profiles
Faculty and Course Info
Jobs@TAMIU
EthicsPoint - Risk, Fraud & Misconduct Hotline
Campus Accreditation

Annual Security & Fire Safety Report Bookstore Compact with Texans Energy Savings Program Information Regarding Staff Compensation Non-Discrimination/Sexual Harassment Open Records Privacy Statement Public Social Media Notification Site Policies State Link Policy State of Texas Statewide Search Student Consumer Information Terms of Service Texas Homeland Security Veterans Affairs

Disclaimer
Directory
Feedback

loading-spinner