01263nam0-2200349---450-99000878464040332120091020162358.00-08-024384-3000878464FED01000878464(Aleph)000878464FED0100087846420081222d1979----km-y0itay50------baengGBa-------101yyAntimetabolites in biochemistry, biology, and medicineproceedings of a symposium on antimetabolites in biochemistry, biology, and medicine, held in Prague, Czechoslovakia, July 10-12, 1978editors J. Skoda, P. LangenOxfordPergamon Press1979x, 374 p.ill.23 cmProceedings of the 12th FEBS meeting759419Skoda,JanLangen,PeterSymposium on antimetabolites in biochemistry, biology, and medicine<1978 ;Prague, Czechoslovakia>432964Federation of European Biochemical SocietiesITUNINARICAUNIMARCBK990008784640403321C 3n 11641/CB1DMBBMDMBBMAntimetabolites in biochemistry, biology, and medicine809215UNINA01835nam2 22004333i 450 VAN026339520231129121544.325N978354039119720230918d1984 |0itac50 baengGERDE|||| |||||ˆPart 2.: ‰Computation and Proof Theoryedited by Egon Börger ... [et al.]BerlinSpringer1984x, 482 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer1104001VAN02633962001 Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983210 BerlinSpringer1984215 2 volumi p.24 cm268-XXComputer science [MSC 2020]VANC019670MF00BxxConference proceedings and collections of articles [MSC 2020]VANC021742MFComputationKW:KEquationsKW:KEquivalenceKW:KFiniteKW:KMathematical logicKW:KMathematicsKW:KProof TheoryKW:KProofsKW:KRecursionKW:KBerlinVANL000066BörgerEgonVANV143798Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0099476E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0263395BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6648 08eMF6648 20230927 Computation and proof theory262578UNICAMPANIA