00808nam0-22002411i-450-990001211710403321000121171FED01000121171(Aleph)000121171FED0100012117120000920d1984----km-y0itay50------baengComputation and proof theoryProceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Part IIEdited by M.M. Richter, E. Borger, W. Obe rschelp, B. Schinzel and W. Thomas.Berlin [etc.]Springer-Verlag1984Lecture Notes in Mathematics1104ITUNINARICAUNIMARCBK990001211710403321C-20-(1104802MA1MA1Computation and proof theory262578UNINAING0101175cam2 22003011 450 SOBE0004964320180906155755.0882116703820151029d1980 |||||ita|0103 baitaIT<<2: >>Dal Concilio di Nicea a quello di CalcedoniaJohannes QuastenTorinoMarietti1980XIV, 720 p.24 cm001SOBE000484002001 Patrologia / Johannes Quasten ; [poi] Institutum patristicum Augustinianum2Quasten, JohannesSOBA00011474070177385Beghin, NelloSOBA00011859070ITUNISOB20180906RICAUNISOBUNISOB20035900UNISOB20057239SOBE00049643M 102 Monografia moderna SBNM200000311-2SI35900acquistocatenaccifUNISOBUNISOB20151029175008.020151109122948.0catenacci200002184-2SI57239acquistoNmenleUNISOBUNISOB20180906154008.020180906154048.0menleRistampa, 1983Dal Concilio di Nicea a quello di Calcedonia862139UNISOB