本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
North-Holland1988.<MA41-A41>
国立国会図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk) , 1932-

Basic proof theory : pbk 2nd ed

Basic proof theory : pbk 2nd ed
紙図書
A.S. Troelstra, H. SchwichtenbergCambridge University Press2000
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut

Basic proof theory : hardback

Basic proof theory : hardback
紙図書
A.S. Troelstra, H. SchwichtenbergCambridge University Press1996
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut

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

Metamathematical investigation of intuitionistic arithmetic and analysis 2nd corrected ed.
紙図書
A.S. Troelstra (ed.)Institute for Logic, Language and Computation1993
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Lectures on linear logic : [hard] : pbk

Lectures on linear logic : [hard] : pbk
紙図書
A.S. TroelstraCenter for the Study of Language and Informationc1992
全国の図書館
  • 著者標目Troelstra, 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)
紙図書
North-Holland Pub. Co.1982.<M15-A581>
国立国会図書館
  • 著者標目...) , 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)
紙図書
Springer1973.<MA41-64>
国立国会図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Constructivism in mathematics : an introduction v. 2 : pbk

Constructivism in mathematics : an introduction v. 2 : pbk
紙図書
A.S. Troelstra, D. van Dalen[Amazon]c1988
全国の図書館
  • 著者標目Troelstra, 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
紙図書
A.S. Troelstra, D. van DalenNorth-Holland1988
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk) Heyting,...

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

Proof theory, constructive mathematics : Germany : U.S.
紙図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
全国の図書館
  • 著者標目... 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)
紙図書
Springer1969.<MA41-17>
国立国会図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

A supplement to "Choice sequences"

A supplement to "Choice sequences"
紙図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Intuitionistic extensions on the reals

Intuitionistic extensions on the reals
紙図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

The interplay between logic and mathematics : intuitionism

The interplay between logic and mathematics : intuitionism
紙図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1979
全国の図書館
  • 著者標目Troelstra, 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
紙図書
edited by A.S. Troelstra and D. van DalenNorth-Holland1982
全国の図書館
  • 著者標目... Egbertus Jan) Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk)

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

Constructivizing results obtained for intuitionistic formal systems by means of classical semantics
紙図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1977
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Choice sequences : a chapter of intuitionistic mathematics

Choice sequences : a chapter of intuitionistic mathematics
紙図書
by A.S. TroelstraClarendon Press1977
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Two notes on intuitionistic analysis

Two notes on intuitionistic analysis
紙図書
by A.S. TroelstraUniversity of Amsterdam, Mathematisch Instituut1976
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Choice sequences and completeness of intuitionistic predicate logic

Choice sequences and completeness of intuitionistic predicate logic
紙図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1975
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)

Choice sequences

Choice sequences
紙図書
by A.S. TroelstraUniversity of Amsterdam. Mathematisch Instituut1974
全国の図書館
  • 著者標目Troelstra, A. S. (Anne Sjerp)
RSS