R. P. Nederpelt's Documents

R. P. Nederpelt's Documents

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
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
Read more
Diseases of the Hair and Scalp

Diseases of the Hair and Scalp
Read more
D.H. Lawrence (Critical Heritage)

D.H. Lawrence (Critical Heritage)
Read more
Dementia in Clinical Practice (Frontiers of Neurology and Neuroscience)

Dementia in Clinical Practice (Frontiers of Neurology and Neuroscience)
Read more
Selected Papers on Automath

Selected Papers on Automath
Read more
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)

A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)
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
Hounding The Moon

Hounding The Moon
Read more
Determinants and their applications in mathematical physics

Determinants and their applications in mathematical physics
Read more
Forest Moon Rising A Tess Noncoire Adve

Forest Moon Rising A Tess Noncoire Adve
Read more
Second Quantized Approach to Quantum Chemistry: An Elementary Introduction

Second Quantized Approach to Quantum Chemistry: An Elementary Introduction
Read more
The Colditz Story

The Colditz Story
Read more
The Colditz Story

The Colditz Story
Read more
H-bubbles in a perturbative setting the finite-dimensional reductions method

H-bubbles in a perturbative setting the finite-dimensional reductions method
Read more
Les D´ebuts d'une Formule des Traces Stables

Les D´ebuts d'une Formule des Traces Stables
Read more
Hounding The Moon

Hounding The Moon
Read more
Problems for Mathematicians, Young and Old (Dolciani Mathematical Expositions)

Problems for Mathematicians, Young and Old (Dolciani Mathematical Expositions)
Read more
Understanding the Micro to Macro Behaviour of Rock-Fluid Systems (Geological Society Special Publication No. 249)

Understanding the Micro to Macro Behaviour of Rock-Fluid Systems (Geological Society Special Publication No. 249)
Read more
Faery Moon A Tess Noncoire Adventure

Faery Moon A Tess Noncoire Adventure
Read more
Forest Moon Rising A Tess Noncoire Adve

Forest Moon Rising A Tess Noncoire Adve
Read more
Soil Erosion and Conservation, Third Edition

Soil Erosion and Conservation, Third Edition
Read more
Sophocles: An Interpretation

Sophocles: An Interpretation
Read more
Vorstoß Zu Den Zeitlosen

Vorstoß Zu Den Zeitlosen
Read more
Handbook of Classroom English

Handbook of Classroom English
Read more
Selecta: Expository Writing

Selecta: Expository Writing
Read more
Thesaurus of Traditional English Metaphors, Second Edition

Thesaurus of Traditional English Metaphors, Second Edition
Read more
Forest Moon Rising

Forest Moon Rising
Read more
Die Entführung des Serails

Die Entführung des Serails
Read more