1.

Record Nr.

UNISALENTO991001114079707536

Autore

AMS Special Session Nonstandard Models of Arithmetic and Set Theory <2003 ; Baltimore, Md.>

Titolo

Nonstandard models of arithmetic and set theory : AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland / Ali Enayat, Roman Kossak, editors

Pubbl/distr/stampa

Providence, RI : American Mathematical Society, 2004

ISBN

0821835351

Descrizione fisica

xii, 167 p. : ill. ; 26 cm

Collana

Contemporary mathematics, 0271-4132 ; 361

Classificazione

LC QA248.A634

AMS 03-06

AMS 03C62

AMS 03H05

AMS 00B25

Altri autori (Persone)

Enayat, Aliauthor

Kossak, Romanauthor

Disciplina

511.322

Soggetti

Set theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910708666103321

Autore

Withee C.

Titolo

Standard format and content for technical specifications for 10 CFR 72 cask certificates of compliance

Pubbl/distr/stampa

Washington, DC : , : Spent Fuel Project Office, Office of Nuclear Material Safety and Safeguards, U.S. Nuclear Regulatory Commission, , June 2001

Descrizione fisica

1 online resource (vii, 5, 32 pages)

Soggetti

Spent reactor fuels - Storage - Standards - United States

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"NUREG-1745."

"Manuscript completed: May 2001; date published: June 2001."

"Author(s): C. Withee, C. Jackson, et al."--Bibliographic data sheet.