1. Ackermann, R., An introduction to many-valued logics, Dover, New York, 1967.
2. Belluce, L. P., and Chang, C. C., ‘A weak completeness theorem for infinite-valued first order logic’, J. Symbolic Logic
28 (1963) 43–50.
3. Bishop, E., Foundations of constructive analysis, McGraw-Hill, New York, 1969.
4. Braithwaite, R. B., Scientific explanation, Cambridge University Press, Cambridge, 1953.
5. Caratheodory, G, ‘Grundlagen der Thermodynamik’, Mathematische Annalen
67 (1909) 355–386.