1.

Record Nr.

UNISA990003230750203316

Autore

STEGMÜLLER, Wolfgang

Titolo

Unvollständigkeit und unentscheidbarkeit : die metamathematischen resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / Wolfgang Stegmüller

Pubbl/distr/stampa

Wien : Springer, 1970

Edizione

[zweite aufl.]

Descrizione fisica

114 p. ; 23 cm

Disciplina

510

Soggetti

Matematica

Collocazione

510 STE

Lingua di pubblicazione

Tedesco

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNISALENTO991002713439707536

Autore

Magrini, Anna

Titolo

Soluzioni per l'isolamento termico di edifici esistenti : esempi di analisi termica e verifica igronometrica delle pareti / Anna Magrini

Pubbl/distr/stampa

Roma : EPC, c2013

ISBN

9788863104523

Descrizione fisica

158 p. : ill.  ; 24 cm. + cd-rom

Collana

Riqualificazione energetica degli edifici

Disciplina

693.832

Soggetti

Buildings - Energy conservation

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Nel cd -rom allegato schede di valutazione termica di un'ampia casistica di strutture edilizie (pareti e coperture) per diverse tipologie e spessori (circa 300 schede), schede di analisi termica e igronometrica degli interventi di isolamento termico di un campione rappresentativo di pareti esistenti per le condizioni climatiche di tutti i capoluoghi di provincia italiani (circa 100 schede)