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

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Well-Quasi Orders in Computation, Logic, Lang ...
Peter M. Schuster, Monika Seis ...
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
February 27, 2022 | History

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

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English

Buy this book

Book Details


Classifications

Library of Congress
BC1-199

The Physical Object

Pagination
x, 391
Weight
0.770

Edition Identifiers

Open Library
OL37293866M
ISBN 13
9783030302283

Work Identifiers

Work ID
OL25794552W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 27, 2022 Created by ImportBot Imported from Better World Books record