@article{1093888214, author = {Locks, Mitchell O.}, title = {Logical and probability analysis of systems.}, journal = {Notre Dame J. Formal Logic}, volume = {19}, number = {1}, year = {1978}, pages = { 123-136}, language = {en}, url = {http://dml.mathdoc.fr/item/1093888214} }
Locks, Mitchell O. Logical and probability analysis of systems.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 123-136. http://gdmltest.u-ga.fr/item/1093888214/