1.

Record Nr.

UNICAMPANIASUN0056819

Autore

Feferman, Anita B.

Titolo

Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman

Pubbl/distr/stampa

Cambridge, : Cambridge university, 2004

ISBN

05-218-0240-7

Descrizione fisica

VI, 425 p. : ill. ; 24 cm.

Altri autori (Persone)

Feferman, Solomon

Soggetti

03-XX - Mathematical logic and foundations [MSC 2020]

01Axx - History of mathematics and mathematicians [MSC 2020]

01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]

01A72 - Schools of mathematics [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910714173203321

Autore

Curran Mary Ann

Titolo

BEES 2.0 : building for environmental and economic sustainability peer review report / / Mary Ann Curran; Jonathan G. Overly; Patrick Hofstetter; Rick Muller; Barbara C. Lippiatt

Pubbl/distr/stampa

Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 2002

Descrizione fisica

1 online resource

Collana

NISTIR ; ; 6865

Altri autori (Persone)

CurranMary Ann

HofstetterPatrick

LippiattBarbara C

MullerRick

OverlyJonathan G

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

2002.

Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.

Title from PDF title page.

Nota di bibliografia

Includes bibliographical references.