Tomus primus logicam et metaphysicam complectens (1750)