THE FINITENESS, COMPLETENESS AND CONSISTENCY OF FORMAL THEORIES IN MATHEMATICS
Bachelor's
Saved in:
Main Author: | PANG AMOS JING SHENG |
---|---|
Other Authors: | MATHEMATICS |
Published: |
2021
|
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/204224 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Formalizing mathematics in LEAN
by: Liu, Yufei
Published: (2024) -
Completion report: mathematics education
by: Courtney, Jane
Published: (2013) -
A formal semantics for complete uml state machines with communications
by: Liu, S., et al.
Published: (2014) -
A formal semantics for complete UML state machines with communications
by: LIU, Shuang, et al.
Published: (2013) -
FORMALIZATION OF SET THEORY IN COQ
by: LEOW WEI XIANG
Published: (2021)