1.

Record Nr.

UNINA9910699231603321

Titolo

Overcoming technical barriers to the sustainable development of competitive marine aquaculture in the United States [[electronic resource] /] / sponored by National Institute of Standards and Technology, National Oceanic and Atmospheric Administration

Pubbl/distr/stampa

Silver Spring, MD : , : U.S. Dept. of Commerce, National Oceanic and Atmospheric Administration, National Institute of Standards and Technology, , 2009

Descrizione fisica

1 online resource (120 pages) : color illustrations

Collana

NOAA technical memorandum NMFS-F/SPO ; ; 100

Altri autori (Persone)

BrowdyCraig L

HargreavesJohn A

Soggetti

Aquaculture - Environmental aspects - United States

Mariculture - Environmental aspects - United States

Fishery law and legislation - United States

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Title from title screen (viewed Mar. 1, 2010).

"Summary of a workshop on Enhancing Competitiveness of Sustainable Marine Aquaculture in the United States : Addressing Measurement Barriers to Technological Innovation, Orlando, Florida, 13-14 February 2008."

"Edited by: Craig L. Browdy and John A. Hargreaves"--P. 4.



2.

Record Nr.

UNINA9910808517403321

Autore

Mancosu Paolo

Titolo

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / / Paolo Mancosu

Pubbl/distr/stampa

Oxford University Press, 2010

Oxford : , : Oxford University Press, , 2010

ISBN

0191021997

9780191021992

0-19-159493-8

0-19-102199-7

0-19-954653-3

Descrizione fisica

1 online resource (631 pages)

Disciplina

510.1

Soggetti

Mathematics - Philosophy - History - 20th century

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

part I. Mathematical logic, 1900-1935 -- part II. Foundations of mathematics -- part III. Phenomenology and the exact sciences -- part IV. Tarski and quine on nominalism -- part V. Tarksi and the Vienna circle on thruth and logical consequence.