01392nlm0 22003971i 450 9900092445804033219783540727347000924458FED01000924458(Aleph)000924458FED0100092445820100926d2007----km-y0itay50------baengDEdrnn-008mamaaLogical Foundations of Computer ScienceRisorsa elettronicaInternational Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsedited by Sergei N. Artemov, Anil NerodeBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434514Documento elettronicoTestoFormato html, pdfArtemov,Sergei N.Nerode,AnilITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-72734-7EB990009244580403321Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsLogical Foundations of Computer Science772536UNINA00912cam0 2200265 450 E60020006218020200714123506.0087548018720100324d1966 |||||ita|0103 baengUSAn Enquiry Concerning the Principles of MoralsDavid Humewith an introduction note by John B.StewartLa SalleOpen Court1966XXXI,170 p.20 cmHume, DavidAF00020102070329443Stewart, John B.A600200055791070ITUNISOB20200714RICAUNISOBUNISOB10068329E600200062180M 102 Monografia moderna SBNM100006972Si68329acquistopregresso1UNISOBUNISOB20100324115910.020200714123450.0AlfanoEnquiry concerning the principles of morals145901UNISOB