$Théorie des modèles en logique mathématique$

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...

Full description

Bibliographic Details
Main Author:	Daigneault, Aubert, 1932-
Corporate Author:	Université de Montréal Département de mathématiques
Format:	Book
Language:	French
Published:	Montréal : Presses de l'Université de Montréal, 1967 Montréal, Presses de l'Université de Montréal, 1967 Montréal, 1967
Edition:	2e éd
Series:	Séminaire de mathématiques supérieures 6 Séminaire de mathématiques supérieures ; 6 Séminaire de mathématiques supérieures 6 Séminaire de mathématiques supérieures 6
Subjects:	Logic, Symbolic and mathematical Model theory

Internet

Stanford University

Holdings details from Stanford University
Call Number:	QA1 .M66 V.6

University of Chicago

Holdings details from University of Chicago
Call Number:	QA9.D17

Cornell University

Holdings details from Cornell University
Call Number:	QA1 .M81 v.6 1967

Columbia University