Logic and Computer Science AKR88R6RZN
| URI | m2://res/AKR88R6RZN |
|---|---|
| Kind | monograph |
| Creators | Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi (editor) |
| Date | 1990 |
| MSC | 00B25, 03-06, 68-06 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1990 |
| Ids | DOI 10.1007/bfb0093921, zbl 0695.00004, zbl_id 47020 |
- m1: print, Springer Berlin Heidelberg, 1990 (record). isbn 9783540527343, isbn 9783540471356
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)
- Mathematical Intuitionism: Introduction to 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)
- Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (e1)
- not resolved (e1)
- Logic and Structure (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)
- 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)
Catalogue records
- springer-series: 10.1007/bfb0093921 (work)
- zbmath_search: 47020 (work)