Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/203544
Title: DECIDABILITY OF FIRST ORDER LOGIC OF BOOLEAN ALGEBRAS
Authors: LIM JIN XING
Issue Date: 2014
Citation: LIM JIN XING (2014). DECIDABILITY OF FIRST ORDER LOGIC OF BOOLEAN ALGEBRAS. ScholarBank@NUS Repository.
URI: https://scholarbank.nus.edu.sg/handle/10635/203544
Appears in Collections:Bachelor's Theses

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
a0072256.pdf517.5 kBAdobe PDF

CLOSED

None

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.