SULJE VALIKKO

avaa valikko

Andreas Weiermann (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal La
Peter M. Schuster (ed.); Monika Seisenberger (ed.); Andreas Weiermann (ed.)
Springer (2020)
Kovakantinen kirja
147,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal La
Peter M. Schuster (ed.); Monika Seisenberger (ed.); Andreas Weiermann (ed.)
Springer (2021)
Pehmeäkantinen kirja
147,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal La
147,10 €
Springer
Sivumäärä: 391 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2020, 03.01.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Trends in Logic 53

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science. 

The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.



Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Lazoom
Näytä kaikki tuotetiedot
ISBN:
9783030302283
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste