Article
- Pages: 329 to 349
- ISBN: 2-86601-461-8
- ISSN: 0988-0569
- Creation date: 04-01-2011
- Last update: 04-01-2011
Abstract
Français
1, La théorie des types propositionnels; 2, La logique partielle; 3, Deux notions de validité; 4, Un système déductif pour la logique partielle.