SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Teresa Kouri Kissel | Akateeminen Kirjakauppa

CLASSICAL FIRST-ORDER LOGIC

Classical First-Order Logic
Stewart Shapiro; Teresa Kouri Kissel
Cambridge University Press (2022)
Pehmeäkantinen kirja
22,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Classical First-Order Logic
22,10 €
Cambridge University Press
Sivumäärä: 75 sivua
Asu: Pehmeäkantinen kirja
Painos: New edition
Julkaisuvuosi: 2022, 19.05.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Elements in Philosophy and Logic
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Classical First-Order Logiczoom
Näytä kaikki tuotetiedot
ISBN:
9781108987004
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste