Jump to main content

yr 〜
yr

Search results 14

Intuitionistic extensions on the reals

Intuitionistic extensions on the reals
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
Other Libraries in Japan

The interplay between logic and mathematics : intuitionism

The interplay between logic and mathematics : intuitionism
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
Other Libraries in Japan

A supplement to "Choice sequences"

A supplement to "Choice sequences"
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
Other Libraries in Japan

Constructivizing results obtained for intuitionistic formal systems by means of classical semantics

Constructivizing results obtained for intuitionistic formal systems by means of classical semantics
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1977
Other Libraries in Japan

Two notes on intuitionistic analysis

Two notes on intuitionistic analysis
Paper図書
by A.S. TroelstraUniversity of Amsterdam, Mathematisch Instituut1976
Other Libraries in Japan

Choice sequences and completeness of intuitionistic predicate logic

Choice sequences and completeness of intuitionistic predicate logic
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1975
Other Libraries in Japan

Consistency and related metamathematical properties

Consistency and related metamathematical properties
Paper図書
by C. SmorynskiUniversity of Amsterdam. Mathematisch Instituut1975
Other Libraries in Japan

Choice sequences

Choice sequences
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1974
Other Libraries in Japan

Rational functions invariant under a finite abelian group

Rational functions invariant under a finite abelian group
Paper図書
H. W. Lenstra, Jr.University of Amsterdam. Mathematisch Instituut1972
Other Libraries in Japan

Functional central limit theorems for processes with positive drift and their inverses

Functional central limit theorems for processes with positive drift and their inverses
Paper図書
W. VervaatUniversity of Amsterdam. Mathematisch Instituut1971
Other Libraries in Japan

On chains of Hilbert spaces and a theorem of A. Pietsch

On chains of Hilbert spaces and a theorem of A. Pietsch
Paper図書
by H. PijlsUniversity of Amsterdam. Mathematisch Instituut.1971
Other Libraries in Japan

Computability of terms and notions of realizability for Intuitionistic analysis

Computability of terms and notions of realizability for Intuitionistic analysis
Paper図書
A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1971
Other Libraries in Japan

A note on B - and B_r - completeness

A note on B - and B_r - completeness
Paper図書
D. van DulstUniversity of Amsterdam. Mathematisch Instituut1971
Other Libraries in Japan

Notes on intuitionistic second order arithmetic

Notes on intuitionistic second order arithmetic
Paper図書
A. S. TroelstraUniversity of Amsterdam. Mathematisch Instituut.1971
Other Libraries in Japan

Reached to the end of result.

RSS