Logical Number Theory I 5CGF2ME8MN
| URI | m2://res/5CGF2ME8MN |
|---|---|
| Kind | monograph |
| Creators | Craig Smoryński |
| Date | 1991 |
| MSC | 03-01, 03F30, 11U05, 03-02, 01A80, 03B25, 03-03 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1991 |
| Ids | DOI 10.1007/978-3-642-75462-3, zbl 0759.03002, zbl_id 49906 |
- m1: print, Springer Berlin Heidelberg, 1991 (record). isbn 9783540522362, isbn 9783642754623
Relations
- part_of Universitext
References
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- The Computational Complexity of Logical Theories (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- Büchi’s Monadic Second Order Successor Arithmetic (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
Cited by
Catalogue records
- springer-series: 10.1007/978-3-642-75462-3 (work)
- zbmath_search: 49906 (work)