01080nam a2200325 i 450099100065438970753620020507171827.0960622s1978 ne ||| | eng 0720422868b10738630-39ule_instLE01300232ExLDip.to Matematicaeng511.3AMS 03FSzabo, M. E.534536Algebra of proofs /M. E. SzaboAmsterdam :North-Holland,1978xii, 297 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;88Bibliography: p. 278-284.Includes indexesCategoriesCombinatory logicProof theory.b1073863023-02-1728-06-02991000654389707536LE013 03F SZA11 (1978)12013000051864le013-E0.00-l- 00000.i1082929528-06-02Algebra of proofs911022UNISALENTOle01301-01-96ma -engne 0101300nam0 22003011i 450 UON0008109620231205102429.2338-964511-1-120020107d1998 |0itac50 baengFREDE|||| |||||ˆLes ‰langues Gur (voltaiques)bibliographie commentée et inventaire des appellations des languesManfred von Roncador et Gudrunm MieheKolnKoppec1998viii, 283 p.24 cm001UON000675872001 Gur monographsMonographies Voltaiquesedited by Gudrun Miehe, Brigitte Reineke, Manfred von Roncador1LINGUE VOLTAICHEClassificazioneUONC019745FIDEKölnUONL005641496.35LINGUE VOLTAICHE / LINGUA DAGOMBA21RONCADORManfred : vonUONV053391661676MIEHEGudrunUONV050083660150KöppeUONV256802650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00081096SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI AOC LING KK c 009 SI AA 20888 5 009 Langues Gur (voltaiques1300831UNIOR