Author books / Книги автора Anne S. Troelstra Dirk van Dalen » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Anne S. Troelstra Dirk van Dalen » Page 2

book Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

pdf

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

00

27.01.2024

0

0

book The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

pdf

Author: A.S. Troelstra and D. van Dalen (Eds.)
Language: English
Year: 1982

00

27.01.2024

0

0

book Basic proof theory

Basic proof theory

djvu

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

00

27.01.2024

0

0

book Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

pdf

Author: John W. Reynolds (auth.) J. H. P. Jonxis M.D. H. K. A. Visser M.D. J. A. Troelstra M.D. (eds.)
Language: English
Year: 1968

00

27.01.2024

0

0

book Metabolic Processes in the Foetus and Newborn Infant: Rotterdam 22–24 October 1970

Metabolic Processes in the Foetus and Newborn Infant: Rotterdam 22–24 October 1970

pdf

Author: F. A. Hommes (auth.) J. H. P. Jonxis M.D. H. K. A. Visser M.D. J. A. Troelstra M.D. (eds.)
Language: English
Year: 1971

00

27.01.2024

0

0

book Mathematical Logic

Mathematical Logic

pdf

Author: A. S. Troelstra (auth.) Petio Petrov Petkov (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

pdf

Author: Gert H. Müller Jane E. Kister Dirk van Dalen Anne S. Troelstra (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

pdf

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

00

27.01.2024

0

0

book Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

pdf

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

00

27.01.2024

0

0

book Basic Proof Theory

Basic Proof Theory

djvu

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

00

27.01.2024

0

0