www.lmu.de
|
UB
|
Browse
|
Help
Advanced Search
Deutsch
Login
Create Account
Admin
Home
Browse
Help
Faculties
Research Centers
Persons
Subjects
Keimelion
Ludovico-Maximilianea
MALTE
Advanced Search
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
JSON_EPUB
JSON_EPUB_DOCTYPES
JSON_EPUB_FSP
JSON_EPUB_NEW
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
Jump to:
Journal article
Number of items:
2
.
Journal article
Berger, Josef
;
Ishihara, Hajime
;
Kihara, Takayuki
und
Nemoto, Takako
(2019):
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
In: Archive for Mathematical Logic, Vol. 58, No. 1-2: pp. 203-217
Ishihara, Hajime
und
Schwichtenberg, Helmut
(2016):
Embedding classical in minimal implicational logic.
In: Mathematical Logic Quarterly, Vol. 62, No. 1-2: pp. 94-101
This list was generated on
Sun Oct 6 02:03:37 2024 CEST
.