Prezentacja autora Warren Goldfarb:

Dotychczas wydane książki Warren Goldfarb:

Logika dedukcyjna - Deductive Logic

Ten tekst zapewnia proste, żywe, ale rygorystyczne wprowadzenie do logiki funkcyjnej i predykatów, wraz z przejrzystymi...