Author books / Книги автора A. S. Troelstra (eds.) » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора A. S. Troelstra (eds.) » Page 3

book Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

pdf

Author: A. S. Troelstra (eds.)
Language: English
Year: 1973

00

27.01.2024

0

0

book Lectures on Linear Logic

Lectures on Linear Logic

djvu

Author: A. S. Troelstra
Language: English
Year: 1992

00

27.01.2024

0

0

book Model Theory

djvu

Author: Chang C.C. Keisler H.J. Troelstra A.S.
Language: English
Year: 1990

00

27.01.2024

0

0

book L.E.J.Brouwer Centenary Symposium Proceedings

L.E.J.Brouwer Centenary Symposium Proceedings

pdf

Author: A.S. Troelstra D.van Dalen D. Van Dalen
Language: English
Year: 1982

00

27.01.2024

0

0

book Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

pdf

Author: A. S. Troelstra D. van Dalen
Language: English
Year: 1988

00

27.01.2024

0

0

book Basic Proof Theory

Basic Proof Theory

djvu

Author: A. S. Troelstra H. Schwichtenberg
Language: English
Year: 1996

00

27.01.2024

0

0

book The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

djvu

Author: A.S. Troelstra D.van Dalen
Language: English
Year: 1982

00

27.01.2024

0

0

book Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

djvu

Author: Anne S. Troelstra Dirk van Dalen
Language: English
Year: 1988

00

27.01.2024

0

0

book Basic Proof Theory

Basic Proof Theory

pdf

Author: A. S. Troelstra H. Schwichtenberg
Language: English
Year: 2000

00

27.01.2024

0

0

book Basic Proof Theory

Basic Proof Theory

pdf

Author: A. S. Troelstra H. Schwichtenberg
Language: English
Year: 1996

00

27.01.2024

1

0