Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Dirk van Dalen

Books by author

Dirk van Dalen

Mystic, geometer, and intuitionist: The life of L.E.J.Brouwer Vol.1. The dawning revolution

Mystic, geometer, and intuitionist: The life of L.E.J.Brouwer Vol.1. The dawning revolution

1999 · ENGLISH · DJVU

View details →

Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer Volume 1: The Dawning Revolution

Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer Volume 1: The Dawning Revolution

1999 · ENGLISH · PDF

View details →

Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

1988 · PDF

View details →

Logic and Structure

Logic and Structure

1983 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

2013 · ENGLISH · PDF

View details →

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

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

1987 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

1980 · ENGLISH · PDF

View details →

Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

1988 · ENGLISH · PDF

View details →

L. E. J. Brouwer - Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life

L. E. J. Brouwer - Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life

2013 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

2012 · ENGLISH · PDF

View details →

Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

1988 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

1994 · ENGLISH · PDF

View details →

Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer: Volume 2: Hope and Disillusion

Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer: Volume 2: Hope and Disillusion

2005 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

2004 · ENGLISH · PDF

View details →

Logic and Structure (Fourth Edition)

Logic and Structure (Fourth Edition)

2004 · ENGLISH · PDF

View details →

Logic Colloquium '80 (no TOC)

Logic Colloquium '80 (no TOC)

1982 · ENGLISH · DJVU

View details →

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

1988 · ENGLISH · DJVU

View details →

Logic and Structure

Logic and Structure

1994 · ENGLISH · DJVU

View details →

Logic and Structure

Logic and Structure

1994 · ENGLISH · PDF

View details →

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

1997 · ENGLISH · DJVU

View details →

A Blaricum Topology for Brouwer

A Blaricum Topology for Brouwer

2005 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

2004 · ENGLISH · PDF

View details →

Logic and Structure

Logic and Structure

1997 · ENGLISH · PDF

View details →

Logic and structure

Logic and structure

2004 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme