Principles of Intuitionism. Lectures Summer Conference on...

Main
Mathematics
Principles of Intuitionism. Lectures...

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Anne S. Troelstra

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

年:

1969

版:

1

出版社:

Springer

言語:

english

ページ:

116

ISBN 10:

3540046143

ISBN 13:

9783540046141

ファイル:

DJVU, 705 KB

IPFS:

,

english, 1969

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Troelstra A.S. — Principles of Intuitionism

Troelstra, A S — History of Constructivism in the 20th Century

Carl J. Posy — Mathematical Intuitionism

Giovanni Sambin, Jan M. Smith — Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Michael Dummett — Elements of Intuitionism

A. S. Troelstra — Choice Sequences: A Chapter of Intuitionistic Mathematics

Mathias A.R.D., Rogers H. — Cambridge Summer School In Mathematical Logic

Arend Heyting — Intuitionism: An Introduction

A. Heyting (Eds.) — Intuitionism An Introduction

van Rootselaar B., Staal J.F. (eds.) — Logic, Methodology and Philosophy of Science III: Proceedings Amsterdam, 1967

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

Boffa M., van Dalen D., McAloon K. (eds.) — Logic Colloquium '78: Proceedings Mons, 1978

Dirk van Dalen, etc. — Logic Colloquium '80 (no TOC)

A.S. Troelstra, D.van Dalen — The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

Rowan Garnier, John Taylor — 100 percent mathematical proof

Bridges D., Richman F. — Varieties of constructive mathematics

Mark van Atten — On Brouwer

Alexander George, Daniel J. Velleman — Philosophies of Mathematics

A. Heyting — Intuitionism. An introduction

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Rinaldo B. Schinazi — From Calculus to Analysis

A. G. Dragalin — Mathematical intuitionism : introduction to proof theory

Michael Henle — Which Numbers Are Real?

Michael Henle — Which Numbers Are Real? (Classroom Resource Materials)

Carl J. Posy — Mathematical Intuitionism (Elements in the Philosophy of Mathematics)

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg — Handbook of Constructive Mathematics

Haim Judah (editor), Winfried Just (editor), Hugh Woodin (editor) — Set Theory of the Continuum (Mathematical Sciences Research Institute Publications (26))

Bob A. Dumas, John E. McCarthy — Transition to Higher Mathematics: Structure and Proof

Enrico Martino (auth.) — Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Enrico Martino — Intuitionistic Proof versus Classical Truth. The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Horst Luckhardt — Extensional Godel Functional Interpretation

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Juha M.R. Oikkonen, Jouko Väänänen — Logic colloquium '90: Proc. Helsinki 1990

Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster — Mathematics for Computation (M4C)

主要なフレーズ