Tomus primus logicam et metaphysicam complectens (1753)