01375nam1 22003373i 450 PUV005729420240906063200.020080505d1991 ||||0itac50 baengusz01i xxxe z01nMathematical foundations of computer sciencePeter A. Fejer, Dan A. SimoviciNew York [etc.]Springer-Verlag v.25 cm.Texts and monographs in computer science001AQ100003642001 Texts and monographs in computer science001PUV00625822001 ˜1: œSets, relations and inductionPeter A. Fejer, Dan A. Simovici1Calcolo meccanicoFIRCFIC002341I004.01ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria14004.0151ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici22Fejer, Peter A.AQ1V006548070771374Simovici, Dan A.AQ1V006549070771375ITIT-NA007920080505IT-BN0095 PUV0057294Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 004.01 FEJ.ma1 01Mathematical foundations of computer science1574054UNISANNIO