Logic Primer


Book Description




Extensions of First-Order Logic


Book Description

An introduction to many-sorted logic as an extension of first-order logic.







System of Logic


Book Description

Reprint of the original, first published in 1871. The publishing house Anatiposi publishes historical books as reprints. Due to their age, these books may have missing pages or inferior quality. Our aim is to preserve these books and make them available to the public so that they do not get lost.