J.H. Geuvers's Documents

J.H. Geuvers's Documents

Selected Papers on Automath

Selected Papers on Automath
Read more
Selected papers on automath

Selected papers on automath
Read more
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
Read more
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
Read more
Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)
Read more
Advances in Steiner Trees

Advances in Steiner Trees
Read more
Probability and Causality: Essays in Honor of Wesley C. Salmon (Synthese Library, 192)

Probability and Causality: Essays in Honor of Wesley C. Salmon (Synthese Library, 192)
Read more
Mimosa and the River of Wisdom (The Fairy Chronicles)

Mimosa and the River of Wisdom (The Fairy Chronicles)
Read more
Mimosa and the River of Wisdom (The Fairy Chronicles)

Mimosa and the River of Wisdom (The Fairy Chronicles)
Read more
The Book of Jasher

The Book of Jasher
Read more
The Judaeo-Arabic Commentary on Jonah by the Karaite Japheth ben Eli : Introduction and Translation

The Judaeo-Arabic Commentary on Jonah by the Karaite Japheth ben Eli : Introduction and Translation
Read more
Chemical Studies on Tuberculin

Chemical Studies on Tuberculin
Read more
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
Read more
Astral Worship

Astral Worship
Read more
Epistemology and Cognition (Studies in Cognitive Systems)

Epistemology and Cognition (Studies in Cognitive Systems)
Read more
Snapdragon and the Odyssey of Élan (Fairy Chronicles)

Snapdragon and the Odyssey of Élan (Fairy Chronicles)
Read more
Practical Pathology Informatics

Practical Pathology Informatics
Read more
Tribology of Natural and Artificial Joints (Tribology Series)

Tribology of Natural and Artificial Joints (Tribology Series)
Read more
Thistle and the Shell of Laughter (The Fairy Chronicles)

Thistle and the Shell of Laughter (The Fairy Chronicles)
Read more
Primrose and the Magic Snowglobe (Fairy Chronicles)

Primrose and the Magic Snowglobe (Fairy Chronicles)
Read more
Moonflower and the Pearl of Paramour (Fairy Chronicles)

Moonflower and the Pearl of Paramour (Fairy Chronicles)
Read more
WCMC Handbooks on Biodiversity Information Management

WCMC Handbooks on Biodiversity Information Management
Read more
Grailquest: Castle of Darkness Bk. 1 (Armada Original)

Grailquest: Castle of Darkness Bk. 1 (Armada Original)
Read more
Probability and Causality: Essays in Honor of Wesley C. Salmon

Probability and Causality: Essays in Honor of Wesley C. Salmon
Read more
Physical Properties of Rocks: A workbook (Handbook of Petroleum Exploration and Production 8)

Physical Properties of Rocks: A workbook (Handbook of Petroleum Exploration and Production 8)
Read more
Grail Quest: Den of Dragons Bk. 2 (Armada Original)

Grail Quest: Den of Dragons Bk. 2 (Armada Original)
Read more
An elementary treatise on calculus of variations (1850)

An elementary treatise on calculus of variations (1850)
Read more
Linking. The geometry of argument structure

Linking. The geometry of argument structure
Read more
Cinnabar and the Island of Shadows (The Fairy Chronicles)

Cinnabar and the Island of Shadows (The Fairy Chronicles)
Read more
The generalized Stieltjes transform and its inverse

The generalized Stieltjes transform and its inverse
Read more