THE FINITENESS, COMPLETENESS AND CONSISTENCY OF FORMAL THEORIES IN MATHEMATICS
Bachelor's
Saved in:
Main Author: | PANG AMOS JING SHENG |
---|---|
Other Authors: | MATHEMATICS |
Format: | Theses and Dissertations |
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) -
A formal semantics for complete UML state machines with communications
by: LIU, Shuang, et al.
Published: (2013) -
A formal semantics for complete uml state machines with communications
by: Liu, S., et al.
Published: (2014) -
FORMALIZATION OF SET THEORY IN COQ
by: LEOW WEI XIANG
Published: (2021) -
A THERMODYNAMICALLY-CONSISTENT THEORY FOR ABNORMAL GRAIN GROWTH IN POLYCRYSTALLINE METALS AND THE COUPLING OF FINITE-ELEMENT AND PHASE-FIELD METHODS
by: MOSTAFA JAMSHIDIAN
Published: (2012)