Proofs and Algorithms : An Introduction to Logic and Computability
Resource Information
The work Proofs and Algorithms : An Introduction to Logic and Computability represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Proofs and Algorithms : An Introduction to Logic and Computability
Resource Information
The work Proofs and Algorithms : An Introduction to Logic and Computability represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Proofs and Algorithms : An Introduction to Logic and Computability
 Title remainder
 An Introduction to Logic and Computability
 Statement of responsibility
 by Gilles Dowek
 Language

 eng
 eng
 Summary
 Proofs and Algorithms: An Introduction to Logic and Computability Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: An Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic  those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative,  Church's undecidability theorem, Gödel’s incompleteness theorem, the theorem asserting the semidecidability of provability  that have profoundly changed our vision of reasoning, computation, and finally truth itself. Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic
 Dewey number
 004.015113
 http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
 zcgqFCQqTOg
 Language note
 English
 LC call number
 QA75.576.95
 Literary form
 non fiction
 Nature of contents
 dictionaries
 Series statement
 Undergraduate Topics in Computer Science,
Context
Context of Proofs and Algorithms : An Introduction to Logic and ComputabilityWork of
No resources found
No enriched resources found
Embed
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.libraries.ou.edu/resource/sZEr9fasG4c/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/sZEr9fasG4c/">Proofs and Algorithms : An Introduction to Logic and Computability</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</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 Work Proofs and Algorithms : An Introduction to Logic and Computability
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.libraries.ou.edu/resource/sZEr9fasG4c/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/sZEr9fasG4c/">Proofs and Algorithms : An Introduction to Logic and Computability</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>