| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002179720203316 |
|
|
Autore |
TRISOGLIO, Francesco |
|
|
Titolo |
Simboli e parole / Francesco Trisoglio, Igino Francesco |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Tiellemedia, copyr. 2000 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996466500603316 |
|
|
Autore |
Shelah Saharon |
|
|
Titolo |
Around classification theory of models / / Saharon Shelah |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1986] |
|
©1986 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1986.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 282 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, , 0075-8434 ; ; 1182 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Set theory |
Logic, Symbolic and mathematical |
Model theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Classifying generalized quantifiers -- Classification over a predicate II |
|
|
|
|
|
|
|
|
|
|
|
-- Existence of endo-rigid Boolean algebras -- On the no(M) for M of singular power -- Non standard uniserial module over a uniserial domain exists -- Remarks on the numbers of ideals of Boolean algebra and open sets of a topology -- The existence of coding sets -- Monadic logic: Hanf Numbers -- More on stationary coding -- On normal ideals and Boolean algebras -- A note on ?-freeness of abelian groups -- On countable theories with models — homogeneous models only -- On decomposable sentences for finite models -- Remarks on squares. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910702197403321 |
|
|
Autore |
Clark D. R |
|
|
Titolo |
Study for prediction of rotor/wake/fuselage interference [[electronic resource] /] / D. R. Clark, B. Maskew |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Redmond, WA, : Analytical Methods, Inc. |
|
Moffett Field, Calif, : National Aeronautics and Space Administration, Ames Research Center, [1985] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (2 volumes) : illustrations |
|
|
|
|
|
|
Collana |
|
NASA contractor report ; ; 177340 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Aerodynamic interference |
Air flow |
Aircraft configurations |
Fuselages |
Helicopter wakes |
Helicopters |
Loads (forces) |
Rotary wings |
Rotor aerodynamics |
Vortices |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Sept. 10, 2012). |
"March 1985"--pt. 1. |
"November 1983"--pt. 2. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
pt. I. Technical report. -- pt. II. Program users guide. |
|
|
|
|
|
| |