00853nam0-22003011i-450-990000961220403321000096122FED01000096122(Aleph)000096122FED0100009612220000920d1962----km-y0itay50------baengFormal Methodsan Introduction to Symbolic Logic and to Study of Effective Operations in Arithmetic and LogicEvert W. BethDordrecht (NL)Reidel1962XIV, 170 p.23 cmSynthese LibraryLogicaRicorsività160Beth,Evert Willem158977ITUNINARICAUNIMARCBK9900009612204033217-0314079FI1FI1Formal Methods358229UNINAING0101688nam0-2200313---450 991030965320332120231011114300.0c.i- s.i- a?o- 4CB. (3) 1710 (R)feiIT-NA0338: B VI 7020190228d1710----km-y0itay50------balatNLa-----------------bb0-------Index plantarum, quæ in Horto academico Lugduno Batavo reperiuntur. Conscriptus ab Hermanno Boerhaave[Leida]apud Cornelium Boutestein1710[16], 278, [14] p.8°Front. incisoSegn.: *⁸ A-R⁸ S⁶ T⁴. - C. T4 contiene il catalogo dell'editoreDedica dell'autore ms a inchiostro: "Clarissimo, ..., reverendo, viro domino Francisco Cupani inter botanicas hoc seculo principes summo merito numerando reprande reverentiae ergo ... Boerhaave" sul v. del front. Timbro ovale: "R. Orto Botanico di Napoli Biblioteca Tenoreana" sul front.IT-NA0338: B VI 70Paesi Bassi.LeidaBoerhaave,Herman724270Boutesteyn,Cornelis<1679-1712>650ITUNINAREICATUNIMARCVisualizza la versione elettronica in SBNWebhttp://atena.beic.it/view/action/nmets.do?DOCCHOICE=8766537.xml&dvs=1551365690482~16&locale=it_IT&search_terms=&show_metadata=true&adjacency=&VIEWER_URL=/view/action/nmets.do?&DELIVERY_RULE_ID=7&divType=&usePid1=true&usePid2=true20190228AQ9910309653203321B VI 7041DBVDBVIndex plantarum, quæ in Horto academico Lugduno Batavo reperiuntur. Conscriptus ab Hermanno Boerhaave1545959UNINA