| Extending deontic logic for the formalisation of legal rules. Law and philosophy library, vol |
Lambèr M. M. Royakkers |
Patrice Bailhache |
The Journal of Symbolic Logic |
1999 |
| Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser |
Jacques Sublet |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1971 |
| Means of formalisation in Indian and Western logic. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), Volume decimo, Filosofie orientali e pensiero occidentale,Sansoni Editore, Florence1960 |
J. F. Staal |
Jan Berg |
The Journal of Symbolic Logic |
1970 |
| Formalisation of Logic |
Rudolf Carnap |
E. Toms |
Philosophy |
1945-04-01 |
