Mathematical Logic av Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas
719,-
<P>This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fra¿¿s characterization of elementary equivalence, Lindstr¿m''s theorem on the maximality of first-order logic, and the fundamentals of logic programming.</P>
Relaterte produkter
Vis flereVi har valgt ut en rekke interessante produkter i samme kategori som Mathematical Logic av Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas. Hvis du ikke finner noe interessant her kan du enkelt klikke på “vis flere”.
Produktinformasjon
- Alle prisene nevnt ovenfor er oppgitt i Norske kroner.
- Dette produktet er tilgjengelig hos Norli NO.
- Hos Norli NO kan du kjøpe Mathematical Logic av Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas for kun 719,-.
- Den laveste prisen på Mathematical Logic av Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas ble registrert 17. februar 2025 kl. 14:48.
Prisutvikling
Er den nåværende prisen et godt tilbud?
Grafen over prisutviklingen viser den laveste prisen over tid, eksklusiv fraktkostnader.
Prishistorikk for Mathematical Logic av Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas
Laveste pris
719,-
17 feb. 2025
Høyeste pris
719,-
17 feb. 2025