Tous les ebooks de Peter M. Schuster en PDF et EPUB


2  résultat(s)
Télécharger le livre : Well-Quasi Orders in Computation, Logic, Language and Reasoning
Ajouter à ma liste d'envies

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Peter M. Schuster , Monika Seisenberger , Andreas Weiermann

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...

Parution : 2020-01-01
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Trends in Logic
J'achète
179,34 €
Télécharger le livre : Mathesis Universalis, Computability and Proof
Ajouter à ma liste d'envies

Mathesis Universalis, Computability and Proof

Stefania Centrone , Sara Negri , Deniz Sarikaya , Peter M. Schuster

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes...

Parution : 2019-10-25
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Synthese Library
J'achète
116,04 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés