Mathematical Logic and Applications GKTPH4NX58
| URI | m2://res/GKTPH4NX58 |
|---|---|
| Kind | monograph |
| Creators | Juichi Shinoda (editor), Tosiyuki Tugué (editor), Theodore A. Slaman (editor) |
| Date | 1989 |
| MSC | 00B25, 03-06 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1989 |
| Ids | DOI 10.1007/bfb0083663, zbl 0667.00003, zbl_id 194793 |
- m1: print, Springer Berlin Heidelberg, 1989 (record). isbn 9783540515272, isbn 9783540482208
Relations
- part_of Lecture Notes in Mathematics
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)
- Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- not resolved (e1)
- Proof Theory (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)
Catalogue records
- springer-series: 10.1007/bfb0083663 (work)
- zbmath_search: 194793 (work)