Főnév

formal logic (tsz. formal logics)

  1. (matematika) formális logika