Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Classical First-Order Logic
Engelsk
Bogcover for Classical First-Order Logic af Teresa Kouri Kissel, Stewart Shapiro, 9781108987004
Specifikationer
Sprog:
Engelsk
Sider:
75
ISBN-13:
9781108987004
Indbinding:
Paperback
ISBN-10:
1108987001
Kategori:
Udg. Dato:
19 maj 2022
Størrelse i cm:
15,2 x 22,8 x 0,9
Oplagsdato:
19 maj 2022

Classical First-Order Logic

Engelsk
Paperback 2022
Format:

Bog beskrivelse
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.
... Vis mere

Hos Booktok
210 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
75
ISBN-13:
9781108987004
Indbinding:
Paperback
ISBN-10:
1108987001
Kategori:
Udg. Dato:
19 maj 2022
Størrelse i cm:
15,2 x 22,8 x 0,9
Oplagsdato:
19 maj 2022
Finder produkter...
Kategori sammenhænge