Κανονική προβολή
Προβολή MARC
- Ungar, A. M.
Ungar, A. M. 1945- (Anthony M.), (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)89227: Normalization, Cut-Elimination and Theory of Proofs, c1992
Machine generated authority record.
Work cat.: (GR-PaULI)89227: Normalization, Cut-Elimination and Theory of Proofs, c1992
![]() |
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |
![]() ![]() ![]() |
![]() |