Second-Order Logic

1. İkinci dereceden mantık

2. ikinci derece mantık