Jump to main content

yr 〜
yr

Search results 26

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)
Paper図書
North-Holland1988.<MA41-A41>
National Diet Library
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk) , 1932-

Basic proof theory : pbk 2nd ed

Basic proof theory : pbk 2nd ed
Paper図書
A.S. Troelstra, H. SchwichtenbergCambridge University Press2000
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut

Basic proof theory : hardback

Basic proof theory : hardback
Paper図書
A.S. Troelstra, H. SchwichtenbergCambridge University Press1996
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut

Lectures on linear logic : [hard] : pbk

Lectures on linear logic : [hard] : pbk
Paper図書
A.S. TroelstraCenter for the Study of Language and Informationc1992
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

Metamathematical investigation of intuitionistic arithmetic and analysis 2nd corrected ed.

Metamathematical investigation of intuitionistic arithmetic and analysis 2nd corrected ed.
Paper図書
A.S. Troelstra (ed.)Institute for Logic, Language and Computation1993
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 110)

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 110)
Paper図書
North-Holland Pub. Co.1982.<M15-A581>
National Diet Library
  • Author Heading...) , 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk) , 1932-

Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). (Lecture notes in mathematics, 344)

Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). (Lecture notes in mathematics, 344)
Paper図書
Springer1973.<MA41-64>
National Diet Library
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

Constructivism in mathematics : an introduction v. 2 : pbk

Constructivism in mathematics : an introduction v. 2 : pbk
Paper図書
A.S. Troelstra, D. van Dalen[Amazon]c1988
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk)

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2
Paper図書
A.S. Troelstra, D. van DalenNorth-Holland1988
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk) Heyting,...

Proof theory, constructive mathematics : Germany : U.S.

Proof theory, constructive mathematics : Germany : U.S.
Paper図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
Other Libraries in Japan
  • Author Heading... D. van (Dirk) Troelstra, A. S. (Anne Sjerp)

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)
Paper図書
Springer1969.<MA41-17>
National Diet Library
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

Intuitionistic extensions on the reals

Intuitionistic extensions on the reals
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

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
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

A supplement to "Choice sequences"

A supplement to "Choice sequences"
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
Paper図書
edited by A.S. Troelstra and D. van DalenNorth-Holland1982
Other Libraries in Japan
  • Author Heading... Egbertus Jan) Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk)

Choice sequences : a chapter of intuitionistic mathematics

Choice sequences : a chapter of intuitionistic mathematics
Paper図書
by A.S. TroelstraClarendon Press1977
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

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
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

Two notes on intuitionistic analysis

Two notes on intuitionistic analysis
Paper図書
by A.S. TroelstraUniversity of Amsterdam, Mathematisch Instituut1976
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

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
  • Author HeadingTroelstra, A. S. (Anne Sjerp)

Choice sequences

Choice sequences
Paper図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1974
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp)
RSS