Classical First-Order Logic - Brossura

Shapiro, Stewart

 
9781108987004: Classical First-Order Logic

Sinossi

Introduces classical logic, and its alternatives. Other books of its type usually do one or the other, but not both.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.