The Resource FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting
FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting
Resource Information
The item FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 Summary
 This graduatelevel text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog programs provided. It will serve both as a first text in formal logic and an introduction to automation issues for students in computer science or mathematics. The book treats propositional logic, firstorder logic, and firstorder logic with equality. In each case the initial presentation is semantic, to define the intended subjects independently of the choice of proof mechanism. Then many kinds of proof procedure are introduced. Results such as completeness, compactness, and interpolation are established, and theorem provers are implemented in Prolog. This new edition includes material on AE calculus, Herbrand's Theorem, Gentzen's Theorem, and related topics
 Language
 eng
 Edition
 Second edition
 Extent
 1 online resource (xvii, 348 pages 15 illustrations)
 Isbn
 9781461223603
 Label
 FirstOrder Logic and Automated Theorem Proving
 Title
 FirstOrder Logic and Automated Theorem Proving
 Statement of responsibility
 by Melvin Fitting
 Language
 eng
 Summary
 This graduatelevel text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog programs provided. It will serve both as a first text in formal logic and an introduction to automation issues for students in computer science or mathematics. The book treats propositional logic, firstorder logic, and firstorder logic with equality. In each case the initial presentation is semantic, to define the intended subjects independently of the choice of proof mechanism. Then many kinds of proof procedure are introduced. Results such as completeness, compactness, and interpolation are established, and theorem provers are implemented in Prolog. This new edition includes material on AE calculus, Herbrand's Theorem, Gentzen's Theorem, and related topics
 http://library.link/vocab/creatorName
 Fitting, Melvin
 Dewey number
 005.131
 Illustrations
 illustrations
 Index
 no index present
 Literary form
 non fiction
 Nature of contents
 dictionaries
 Series statement
 Graduate Texts in Computer Science,
 http://library.link/vocab/subjectName

 Computer science
 Logic design
 Logic, Symbolic and mathematical
 Label
 FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting
 Antecedent source
 file reproduced from original
 Bibliography note
 Includes bibliographical references (p. [315]318) and index
 Color
 mixed
 Control code
 ocn853258927
 Dimensions
 unknown
 Edition
 Second edition
 Extent
 1 online resource (xvii, 348 pages 15 illustrations)
 File format
 unknown
 Form of item
 online
 Isbn
 9781461223603
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)853258927
 Label
 FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting
 Antecedent source
 file reproduced from original
 Bibliography note
 Includes bibliographical references (p. [315]318) and index
 Color
 mixed
 Control code
 ocn853258927
 Dimensions
 unknown
 Edition
 Second edition
 Extent
 1 online resource (xvii, 348 pages 15 illustrations)
 File format
 unknown
 Form of item
 online
 Isbn
 9781461223603
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)853258927
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/FirstOrderLogicandAutomatedTheoremProving/cvRcybC3fmM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/FirstOrderLogicandAutomatedTheoremProving/cvRcybC3fmM/">FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/FirstOrderLogicandAutomatedTheoremProving/cvRcybC3fmM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/FirstOrderLogicandAutomatedTheoremProving/cvRcybC3fmM/">FirstOrder Logic and Automated Theorem Proving, by Melvin Fitting</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>