Melvin Fitting
First-Order Logic and Automated Theorem Proving - Texts in Computer Science Melvin Fitting 2nd ed. 1996. Softcover reprint of the original 2n edition

Name: First-Order Logic and Automated Theorem Proving - Texts in Computer Science
Price: 889 SEK
Availability: OutOfStock
Author: Melvin Fitting

Pris

SEK 889

Beställningsvara

Förväntad leverans 7 - 15 jan 2026

Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

eller

First-Order Logic and Automated Theorem Proving - Texts in Computer Science

Melvin Fitting

2nd ed. 1996. Softcover reprint of the original 2n edition

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	26 juni 2013
ISBN13	9781461275152
Utgivare	Springer-Verlag New York Inc.
Antal sidor	326
Mått	244 × 170 × 22 mm · 553 g
Språk	Engelska