Andere Kunden interessierten sich auch für
![Thirty Five Years of Automating Mathematics]( "Thirty Five Years of Automating Mathematics")
Thirty Five Years of Automating Mathematics83,99 €![Thirty Five Years of Automating Mathematics]( "Thirty Five Years of Automating Mathematics")
Thirty Five Years of Automating Mathematics83,99 €![One Hundred Years of Russell´s Paradox]( "One Hundred Years of Russell´s Paradox")
One Hundred Years of Russell´s Paradox162,99 €![Twenty-Five Years of Constructive Type Theory]( "Twenty-Five Years of Constructive Type Theory")
Twenty-Five Years of Constructive Type Theory140,99 €![Church's Thesis After 70 Years]( "Church's Thesis After 70 Years")
Church's Thesis After 70 Years162,99 €![Computational Logic]( "Computational Logic")
Computational Logic34,99 €![Domain-Specific Languages of Mathematics]( "Domain-Specific Languages of Mathematics")
Domain-Specific Languages of Mathematics23,99 €
Readers of this volume are invited on a journey through a logician's life, as witnessed by his colleagues and friends. They will have the opportunity to immerse themselves in the regions of set theory, arithmetic, data analysis, algebra, fuzzy logic and other topics that Petr Hájek has shared with the contributors. Each of the contributions is unique in its approach as well as its personal envoi, helping to create a full-blooded, vivid and genuine picture of the man who has been so emphatically influential to so many of us. Mature and fresh ideas blend in the texts which will, hopefully, make an interesting and enjoyable reading for Petr Hájek as well as for any keen logician.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.