winkelwagen uitgebreid zoeken
print pagina
Wetenschappen Exacte wetenschappen/natuurwetenschappen

 

Boekhandel Douwes Den Haag

Studies in Universal Logic

Institution-independent Model Theory

Razvan Diaconescu

Institution-independent Model Theory

Studies in Universal Logic

Institution-independent Model Theory

Studies in Universal Logic: Institution-independent Model Theory

 

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system.

Levertijd op aanvraag

€ 112,00

Levertijd op aanvraag

Beschrijving Studies in Universal Logic: Institution-independent Model Theory

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called 'institution theory'. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level.

ISBN
9783764387075
Pagina's
376
Verschenen
Serie
Studies in Universal Logic
NUR
910
Druk
1
Uitvoering
Paperback / softback
Taal
Engels
Uitgever
Birkhauser Verlag AG

Philosophical Mechanics in the Age of Reason

Katherine Brading and Marius Stan provide a new framing of natural philosophy and its transformations in the Enlightenment and propose an account of how physics and philosophy evolved into distinct fields of inquiry.

Statistics of Extremes and Records in Random Sequences

This book develops the theory of rare events for both classical uncorrelated as well as correlated sequences in terms of simple models and examples. The pedagogical presentation of the basic ideas and tools will be useful for graduate students and researchers intending to work in this rapidly developing field.

This Volcanic Isle

This Volcanic Isle explores the rich geological history of the British Isles over the past 66 million years, since the disappearance of the dinosaurs. From the Isle of Wight needles to the Giant's causeway to the Sticklepath faultline in Devon, this book recounts how earthquakes and eruptions, plumes and plate boundaries, built the British Isles.

Exacte wetenschappen/natuurwetenschappen

terug meer