Matches in SemOpenAlex for { <https://semopenalex.org/work/W24656929> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W24656929 endingPage "18" @default.
- W24656929 startingPage "1" @default.
- W24656929 abstract "We begin by introducing the constructive framework within which our theory lies. Section 1.1 deals with informal intuitionistic logic and how its use a_ects even the elementary theory of real numbers. In Section 1.2 we describe the naive set theory needed in the book; and in Section 1.3 we give the briefest outline of the basic notions associated with metric and topological spaces." @default.
- W24656929 created "2016-06-24" @default.
- W24656929 creator A5040044031 @default.
- W24656929 creator A5053039771 @default.
- W24656929 date "2011-01-01" @default.
- W24656929 modified "2023-09-28" @default.
- W24656929 title "The Constructive Framework" @default.
- W24656929 doi "https://doi.org/10.1007/978-3-642-22415-7_1" @default.
- W24656929 hasPublicationYear "2011" @default.
- W24656929 type Work @default.
- W24656929 sameAs 24656929 @default.
- W24656929 citedByCount "0" @default.
- W24656929 crossrefType "book-chapter" @default.
- W24656929 hasAuthorship W24656929A5040044031 @default.
- W24656929 hasAuthorship W24656929A5053039771 @default.
- W24656929 hasConcept C199360897 @default.
- W24656929 hasConcept C2778701210 @default.
- W24656929 hasConcept C41008148 @default.
- W24656929 hasConcept C98045186 @default.
- W24656929 hasConceptScore W24656929C199360897 @default.
- W24656929 hasConceptScore W24656929C2778701210 @default.
- W24656929 hasConceptScore W24656929C41008148 @default.
- W24656929 hasConceptScore W24656929C98045186 @default.
- W24656929 hasLocation W246569291 @default.
- W24656929 hasOpenAccess W24656929 @default.
- W24656929 hasPrimaryLocation W246569291 @default.
- W24656929 hasRelatedWork W160889949 @default.
- W24656929 hasRelatedWork W2074838023 @default.
- W24656929 hasRelatedWork W2358668433 @default.
- W24656929 hasRelatedWork W2377770720 @default.
- W24656929 hasRelatedWork W2390279801 @default.
- W24656929 hasRelatedWork W2748952813 @default.
- W24656929 hasRelatedWork W2800549968 @default.
- W24656929 hasRelatedWork W2899084033 @default.
- W24656929 hasRelatedWork W4296050171 @default.
- W24656929 hasRelatedWork W4311883357 @default.
- W24656929 isParatext "false" @default.
- W24656929 isRetracted "false" @default.
- W24656929 magId "24656929" @default.
- W24656929 workType "book-chapter" @default.