Repository | Directory | Profile

128662

References

Giovanni Sommaruga

Bibliography 3

Conclusion

2011

Giovanni Sommaruga John L. Bell

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link

Foundational theories of classical and constructive mathematics

2011

edited byGiovanni Sommaruga

Dordrecht, Springer

History and philosophy of constructive type theory

2000

Giovanni Sommaruga

Dordrecht, Springer