|
|
|
|
| LEADER |
00000cam a2200000 c 4500 |
| 001 |
1152322702 |
| 003 |
DE-627 |
| 005 |
20220518131957.0 |
| 007 |
tu |
| 008 |
991213s1988 xx ||||| 00| ||eng c |
| 035 |
|
|
|a (DE-627)1152322702
|
| 035 |
|
|
|a (DE-576)082322708
|
| 035 |
|
|
|a (DE-599)BSZ082322708
|
| 035 |
|
|
|a (OCoLC)313717322
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 041 |
|
|
|a eng
|
| 084 |
|
|
|a 28
|2 sdnb
|
| 100 |
1 |
|
|a Paech, Barbara
|d 1959-
|0 (DE-588)172299799
|0 (DE-627)697208648
|0 (DE-576)133166821
|4 aut
|
| 245 |
1 |
0 |
|a Gentzen-systems for propositional temporal logics
|c Barbara Paech
|
| 264 |
|
1 |
|a München
|b Ludwigs-Maximilians-Universität München, Institut für Informatik
|c 1988
|
| 300 |
|
|
|a 23 S.
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
| 338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Bericht / Ludwig-Maximilians-Universität München, Institut für Informatik
|v 8801
|
| 583 |
1 |
|
|a Archivierung prüfen
|c 20200919
|f DE-640
|z 1
|2 pdager
|
| 810 |
2 |
|
|a Ludwig-Maximilians-Universität München
|b Institut für Informatik
|t Bericht
|v 8801
|9 8801
|w (DE-627)115232232X
|w (DE-576)082322325
|7 am
|
| 951 |
|
|
|a BO
|
| 992 |
|
|
|a 20131211
|
| 993 |
|
|
|a Book
|
| 994 |
|
|
|a 1988
|
| 998 |
|
|
|g 172299799
|a Paech, Barbara
|m 172299799:Paech, Barbara
|p 1
|x j
|y j
|
| 999 |
|
|
|a KXP-PPN1152322702
|e 2778461132
|
| BIB |
|
|
|a Y
|
| JSO |
|
|
|a {"relMultPart":[{"dispAlt":"Ludwig-Maximilians-Universität München / Institut für Informatik: Bericht","title":[{"title_sort":"Bericht / Ludwig-Maximilians-Universität München, Institut für Informatik","title":"Bericht / Ludwig-Maximilians-Universität München, Institut für Informatik"}],"disp":"Bericht / Ludwig-Maximilians-Universität München, Institut für Informatik","type":{"bibl":"serial"},"part":{"number":["8801"],"number_sort":["8801"]},"origin":[{"publisherPlace":"München","dateIssuedDisp":"19XX-"}],"corporate":[{"display":"Ludwig-Maximilians-Universität München","role":"aut"}],"recId":"115232232X","id":{"eki":["115232232X"]}}],"person":[{"given":"Barbara","role":"aut","family":"Paech","display":"Paech, Barbara"}],"language":["eng"],"origin":[{"publisherPlace":"München","dateIssuedKey":"1988","publisher":"Ludwigs-Maximilians-Universität München, Institut für Informatik","dateIssuedDisp":"1988"}],"id":{"eki":["1152322702"]},"recId":"1152322702","title":[{"title":"Gentzen-systems for propositional temporal logics","title_sort":"Gentzen-systems for propositional temporal logics"}],"physDesc":[{"extent":"23 S."}],"name":{"displayForm":["Barbara Paech"]},"type":{"bibl":"book"}}
|
| SRT |
|
|
|a PAECHBARBAGENTZENSYS1988
|
