A generalization of Herbrand's theorem
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Turku : Turun Yliopisto, 1989 |
| Year of Publication: | 1989 |
| Language: | ### |
| Series: | Turun Yliopiston Julkaisuja: Ser. A I
193 |
| Physical Description: | 16 S. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00000nam#a2200000#c#4500 | ||
|---|---|---|---|
| 001 | 990000232220504498 | ||
| 003 | AT-OeAW | ||
| 008 | 181221|1989####xx############|||#|#####u | ||
| 009 | YW00023222 | ||
| 035 | |a YW00023222 | ||
| 035 | |a (AT-OeAW)YW00023222 | ||
| 035 | |a (Aleph)000023222OAW01 | ||
| 020 | |a 9518802688 | ||
| 100 | 1 | |a Ernvall, Reijo |4 aut | |
| 245 | 0 | 0 | |a A generalization of Herbrand's theorem |
| 264 | 1 | |a Turku |b Turun Yliopisto |c 1989 | |
| 300 | |a 16 S. | ||
| 490 | 0 | |a Turun Yliopiston Julkaisuja: Ser. A I |v 193 | |
| 970 | 5 | |a 88042 | |
| 980 | 0 | |a OAW |9 LOCAL | |
| ADM | |b 2019-01-13 06:45:23 Europe/Vienna |d 00 |f System |c marc21 |a 2018-12-24 05:17:37 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 88042 |c MAG1 |8 2213693200004498 | |
| 852 | 8 | |b YWOAW |c MAG1 |h 88042 |8 2213693200004498 | |
| ITM | |9 2213693200004498 |e 1 |m BOOK |b @YW000023222 |i OAW-23222 |2 MAG1 |o 20140324 |8 2313693190004498 |f 02 |p 2001-12-17 01:00:00 Europe/Vienna |h 88042 |1 YWOAW |q 2022-09-30 10:12:50 Europe/Vienna | ||