Introduction to Logic - Synthesis Lectures on Computer Science - Michael Genesereth - Boeken - Morgan & Claypool Publishers - 9781627052474 - 1 augustus 2013
Indien omslag en titel niet overeenkomen, is de titel correct

Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition


Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van Michael Genesereth
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.


164 pages, black & white illustrations

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 augustus 2013
ISBN13 9781627052474
Uitgevers Morgan & Claypool Publishers
Pagina's 163
Afmetingen 191 × 235 × 9 mm   ·   319 g
Taal en grammatica Engels  

Meer door Michael Genesereth

Alles tonen

Meer van dezelfde uitgever