EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E

EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E

Bachelor's

Saved in:
Bibliographic Details
Main Author: QUEK ZHU HUI JOEL
Other Authors: MATHEMATICS
Published: 2021
Online Access:https://scholarbank.nus.edu.sg/handle/10635/203543
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-203543
record_format dspace
spelling sg-nus-scholar.10635-2035432021-10-15T08:14:27Z EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E QUEK ZHU HUI JOEL MATHEMATICS YANG YUE Bachelor's BACHELOR OF SCIENCE (HONOURS) 2021-10-15T07:36:30Z 2021-10-15T07:36:30Z 2014 QUEK ZHU HUI JOEL (2014). EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/203543
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
description Bachelor's
author2 MATHEMATICS
author_facet MATHEMATICS
QUEK ZHU HUI JOEL
author QUEK ZHU HUI JOEL
spellingShingle QUEK ZHU HUI JOEL
EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
author_sort QUEK ZHU HUI JOEL
title EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
title_short EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
title_full EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
title_fullStr EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
title_full_unstemmed EQUICONSISTENCY OF CLASSICAL PREDICATIVE CALCULUS AND INTUITIONISTIC PREDICATIVE CALCULUS - INVESTIGATING KURT SCHÜTTE'S PROOF THEORY AND GÖDEL'S 1933E
title_sort equiconsistency of classical predicative calculus and intuitionistic predicative calculus - investigating kurt schütte's proof theory and gödel's 1933e
publishDate 2021
url https://scholarbank.nus.edu.sg/handle/10635/203543
_version_ 1715201293360824320

Similar Items