The Resource A first journey through logic, Martin Hils, François Loeser
A first journey through logic, Martin Hils, François Loeser
Resource Information
The item A first journey through logic, Martin Hils, François Loeser represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.This item is available to borrow from 1 library branch.
Resource Information
The item A first journey through logic, Martin Hils, François Loeser represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.
This item is available to borrow from 1 library branch.
 Summary
 The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights outside of logic when possible either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest. 
 Language
 eng
 Extent
 xi, 185 pages
 Isbn
 9781470452728
 Label
 A first journey through logic
 Title
 A first journey through logic
 Statement of responsibility
 Martin Hils, François Loeser
 Language
 eng
 Summary
 The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights outside of logic when possible either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest. 
 Assigning source
 Provided by publisher
 http://library.link/vocab/creatorDate
 1973
 http://library.link/vocab/creatorName
 Hils, Martin
 Dewey number
 160
 Index
 index present
 Literary form
 non fiction
 Nature of contents
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName
 Loeser, François
 Series statement
 Student mathematical library
 Series volume
 volume 89
 http://library.link/vocab/subjectName

 Logic, Symbolic and mathematical
 Mathematics
 Label
 A first journey through logic, Martin Hils, François Loeser
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Control code
 on1097366350
 Dimensions
 22 cm.
 Extent
 xi, 185 pages
 Isbn
 9781470452728
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 System control number
 (OCoLC)1097366350
 Label
 A first journey through logic, Martin Hils, François Loeser
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Control code
 on1097366350
 Dimensions
 22 cm.
 Extent
 xi, 185 pages
 Isbn
 9781470452728
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 System control number
 (OCoLC)1097366350
Library Links
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.library.eui.eu/portal/AfirstjourneythroughlogicMartinHils/K8NZrClThX8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/portal/AfirstjourneythroughlogicMartinHils/K8NZrClThX8/">A first journey through logic, Martin Hils, François Loeser</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.eui.eu/">European University Institute</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 A first journey through logic, Martin Hils, François Loeser
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.library.eui.eu/portal/AfirstjourneythroughlogicMartinHils/K8NZrClThX8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/portal/AfirstjourneythroughlogicMartinHils/K8NZrClThX8/">A first journey through logic, Martin Hils, François Loeser</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.eui.eu/">European University Institute</a></span></span></span></span></div>