Computer Aided Proofs in Analysis by Kenneth R Meyer: Used

Set Theory An Introduction to Independence Proofs, by Kenneth Kunen

Computer Aided Analysis of Electronic Circuits Leon O Chua Pen-Min Lin 1975 VG

AAD Algorithms-Aided Design by Arturo Tedeschi Paperback Book

Computer Aided Concurrent Integral Design by Rolf F. Schmidt (English) Paperback

Computer-aided Drawing and Design by Davies (English) Paperback Book

Sets, Models and Proofs by Ieke Moerdijk (English) Paperback Book

Computer Aided Verification by Hana Chockler (English) Paperback Book