01301nam0 22002891i 450 UON0015237220231205102927.90520020107d1947 |0itac50 baengIN|||| 1||||Indian Writers in CouncilProceedings of the First All-India writers' Conference (Jaipur, 1945)organised by P.E.N. All-India, ed. by Srinivasa IyengarBombayThe International Book House1947XXIV, 284 p.20 cmUON00369198ˆThe ‰First P.E.N. All-India writers Conference, Jaipur 1945UON00369199P.E.N. All-India writers' Conference <1. 1945 Jaipur>LETTERATURA INDIANACONFERENZEUONC032267FIINMumbaiUONL000115SI GEN E VISUBCONT. INDIANO - CONGRESSI - LETTERATURAAIYENGARSrinivasaUONV013668International Book HouseUONV264675650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00152372SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI SI GEN E VI 002 SI SA 50177 7 002 Indian Writers in Council1274476UNIOR01309nam0 22003613i 450 PUV010088720251003044310.00817635556Boston3764335556Basel20081030d1991 ||||0itac50 baengusz01i xxxe z01nCanonical equational proofsLeo BachmairBoston [etc.]Birkhauser1991X, 135 p.25 cmProgress in theoretical computer scienceBibliografia: P. 117-127.001MIL01083422001 Progress in theoretical computer scienceEquazioniFIRCFIC092310EVideoscritturaFIRCFIC003015E511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Bachmair, LeoPUVV066545070771392ITIT-00000020081030IT-BN0095 NAP 01SALA DING $PUV0100887Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 BAC.ca 0102 0000009755 VMA A4 1 v.Y 2008103020081030 01Canonical equational proofs1574093UNISANNIO