Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors.
2020
QA164
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors.
ISBN
9783030302290 (electronic book)
3030302296 (electronic book)
9783030302283
3030302296 (electronic book)
9783030302283
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource (395 pages).
Call Number
QA164
Dewey Decimal Classification
511/.6
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Trends in logic ; v. 53.
Available in Other Form
Linked Resources
Record Appears in