1.

Record Nr.

UNINA9910479856603321

Autore

Craig William <1918->

Titolo

Semigroups underlying first-order logic / / William Craig

Pubbl/distr/stampa

Providence, Rhode Island : , : American Mathematical Society, , [2006]

©2006

ISBN

1-4704-0470-2

Descrizione fisica

1 online resource (298 p.)

Collana

Memoirs of the American Mathematical Society, , 0065-9266 ; ; number 866

Disciplina

511.3/24

Soggetti

Algebraic logic

First-order logic

Semigroups

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"Volume 184, number 866 (second of 4 numbers)."

Nota di bibliografia

Includes bibliographical references (pages 243-244) and indexes.

Nota di contenuto

""Contents""; ""Abstract""; ""Acknowledgements""; ""Overview""; ""Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability""; ""Chapter II. Uniform Relations Between Sequences""; ""Chapter III. Diagonal Relations""; ""Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or Bisectable Relations""; ""Chapter V. Presentation of S[sub(g)], S[sub(p)], and Related Structures""; ""Chapter VI. Presentation of S[sub(pq)], S[sub(pe)] and Related Structures""; ""Chapter VII. Presentation of S[sub(pqe)] and Related Structures""

""Appendix. Presentation of Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations""



2.

Record Nr.

UNINA9910691844403321

Titolo

Workshop on Marine Mammal Research & Monitoring in the National Marine Sanctuaries, Wailea, Maui, Hawaii, 28 November 1999 [[electronic resource] /] / report by Sarah Fangman and Jan Roletto

Pubbl/distr/stampa

Silver Spring, Md. : , : U.S. Dept. of Commerce, National Oceanic and Atmospheric Administration, National Ocean Service, Office of Ocean and Coastal Resource Management, Marine Sanctuaries Division, , [2001]

Collana

Marine sanctuaries conservation series ; ; MSD-01-3

Altri autori (Persone)

FangmanSarah

RolettoJan

Soggetti

Marine mammals - Research - United States

Marine mammals - Monitoring - United States

Conference papers and proceedings.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Title from title screen (viewed on Apr. 27, 2004).

"September 2001."

Nota di bibliografia

Includes bibliographical references.