Théorie des modèles en logique mathématique
In August 2000 NASA ended its workforce downsizing for the space shuttle program. It has made progress in revitalizing the program's workforce, but continues to face considerable challenges. NASA has not yet fully defined plans for safety and supportability upgrades, and there are concerns with...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | French |
| Published: |
Montréal :
Presses de l'Université de Montréal,
1967
Montréal, Presses de l'Université de Montréal, 1967 Montréal, 1967 |
| Edition: | 2e éd |
| Series: | Séminaire de mathématiques supérieures
6 Séminaire de mathématiques supérieures ; 6 Séminaire de mathématiques supérieures 6 Séminaire de mathématiques supérieures 6 |
| Subjects: |