First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Boeken - Springer-Verlag New York Inc. - 9781461275152 - 26 juni 2013
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 83,99

Besteld in een afgelegen magazijn

Verwachte levering 6 - 12 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 26 juni 2013
ISBN13 9781461275152
Uitgevers Springer-Verlag New York Inc.
Pagina's 326
Afmetingen 244 × 170 × 22 mm   ·   553 g
Taal en grammatica Engels  

Meer door Melvin Fitting

Alles tonen

Bekijk alles van Melvin Fitting ( bijv. Paperback Book en Hardcover Book )