All ebooks by Peter M. Schuster in PDF and EPUB
Readzis program recommandation

All ebooks by Peter M. Schuster in PDF and EPUB


2  Book(s)
Download this eBook Well-Quasi Orders in Computation, Logic, Language and Reasoning
Add to my wish list

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

Publication date: 2020-01-01
Format: PDF, ePub
Publisher: Springer
Collection: Trends in Logic
Add to basket
£149,99
Download this eBook Mathesis Universalis, Computability and Proof
Add to my wish list

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

Publication date: 2019-10-25
Format: PDF, ePub
Publisher: Springer
Collection: Synthese Library
Add to basket
£109,50

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved