7

Addition Theorems
–
 1965

1

Constructive Mathematics and Quantum Physics
–
 1999


An Extension of Gleason's Theorem for Quantum Computation
–

1

Piron's and Bell's Geometric Lemmas and Gleason's Theorem
–
 2000


Easy Proofs of Some Consequences of Gleason's Theorem
–


Piron's and Bell's Geometrical Lemmas
–
 2001

4

An extension of gleason’s theorem for quantum computation
–

3

Embedding Quantum Universes in Classical Ones
–
 1999

3

Generalizations of Kochen and Specker’s theorem and the effectiveness of Gleason’s theorem
–
 2004

8

Contexts in quantum, classical and partition logic
–
 2006

15

The changemaking problem
–
 1975

1

Adjoints, absolute values and polar decompositions
–

3

Constructive Closed Range and Open Mapping Theorems
–
 1998

2

Locating the range of an operator on a Hilbert space
–
 1992


Epistemic truth and excluded middle*
–

2

PLURALISM IN MATHEMATICS
–
 2004


Geometry and Information Retrieval
–


Contents
–
 2004


A NOTE ON LENGTH AND ANGLE
–
