User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Logiques pour le temps de la mécanique classique. Présentation et axiomatisation d'un groupe de systèmes de logique propositionnelle du temps

Bibliographic reference Pieters, Jean. Logiques pour le temps de la mécanique classique. Présentation et axiomatisation d'un groupe de systèmes de logique propositionnelle du temps.  Prom. : Dopp, Joseph
Permanent URL http://hdl.handle.net/2078.1/148696