Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Closure Spaces and Logic

Name: Closure Spaces and Logic
Brand: Springer, Berlin
SKU: 9781441947581
Price: 824.66 RON
Availability: InStock

Autor: N.M. Martin, S. Pollard

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

824.66 lei

The book exmaines closure spaces, an abstract mathematical theory, with special emphasis on results...

Informații despre carte

Autor

N.M. Martin, S. Pollard

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

230

EAN

9781441947581

ISBN

1441947582

Enbook ID

01423202

Editura

Springer, Berlin

Greutate

391

Dimensiuni

160 x 240 x 13

Descriere completă

The book exmaines closure spaces, an abstract mathematical theory, with special emphasis on results applicable to formal logic. The theory is developed, conceptually and methodologically, as part of topology. At the least, the book shows how techniques and results from topology can be usefully employed in the theory of deductive systems. At most, since it shows that much of logical theory can be represented within closure space theory, the abstract theory of derivability and consequence can be considered a branch of applied topology. One upshot of this appears to be that the concepts of logic need not be overtly linguistic nor do logical systems need to have the syntax they are usually assumed to have. Audience: The book presupposes very little technical knowledge, but can probably be read most easily by someone with a background in symbolic logic or, even better, upper division or graduate mathematics. It should be of interest to logicians and, to a lesser degree, computer scientists and other mathematicians.