01811nam2 2200277 450 00000906320090224161514.01.s, m.y, **ue y=x= (3) 1769 (R)feiUNIPARTHENOPE20080219d1769----km-y0itay50------balatRUVolumen secundum in quo methodus inueniendi functiones unius variabilis ex data relatione differentialium secundi altiorisue gradus pertractatus. Auctore Leonhardo Eulero ...1769[4], 526, [10] p.4°Segnatura: [pigreco]2 A-3X4Ultima c. biancaSulla controguardia anteriore antiche segnature mss.: 2-E [n.i.]; 236-F [n.i.]; ivi, inoltre, Classe VII N 182 Ingresso N. 1873 del Registro inventario della Regia Marina Biblioteca dipartimentale di Napoli; sul r. della c. di g. ant. ripetut a segnatura del Registo inventario ...; 236-F [n.i.]; ivi, inoltre, possessore: N. Fergola; timbro A della Reale Biblioteca di Marina: front., A1r, A2R, Z2R, 3X3VUNIPARTHENOPEDigitalizzazione della copia, disponibile presso l'Universita di Ghent, a cura di Google: http://books.google.it/books?id=Vg8OAAAAQAAJ&pg=PR10&dq=Institutionum+calculi+integralis&source=gbs_selected_pages&cad=0_2#PPR6,M10010000090612001Institutionum calculi integralis volumen primum [-tertium] ... Auctore Leonhardo Eulero ...Vol. 2Euler,Leonhard8600Fergola,N.390ITUNIPARTHENOPE20080219RICAUNIMARC000009063BORB-E-42/II1873 (1)FB2008Volumen secundum in quo methodus inueniendi functiones unius variabilis ex data relatione differentialium secundi altiorisue gradus pertractatus. Auctore Leonhardo Eulero ..1205014UNIPARTHENOPE01560nam2-2200433li-450 99000021176020331620180312154641.03-540-58085-90021176USA010021176(ALEPH)000021176USA01002117620001109d1994----km-y0itay0103----baengGWTypes for proofs and programsInternational workshop types'93Nijmegen , The Netherlands, May 24-28, 1993Henk Barendregt (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994383 p.ill.24 cmLecture notes in computer science80600100202642001Lecture notes in computer sciencecongressinijmegen1993linguaggi di programmazionecongressi1993logica matematicacongressi1993sistemimodelli matematicicongressi1993005131Logica matematica (Logica simbolica)Barendregt,HenkInternational workshop TYPES'93Nijmegen1993746317Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211760203316001 LNCS (806)001633900100103124BKSCI1996013020001110USA011714ALANDI9020010130USA01153120020403USA011629PATRY9020040406USA011615Types for proofs and programs1489443UNISA