Coverart for item
The Resource A first journey through logic, Martin Hils, François Loeser

A first journey through logic, Martin Hils, François Loeser

Label
A first journey through logic
Title
A first journey through logic
Statement of responsibility
Martin Hils, François Loeser
Creator
Contributor
Author
Subject
Genre
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. --
Member of
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
Instantiates
Publication
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
Publication
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 Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...