Image from Google Jackets

Sets, Models and Proofs by Ieke Moerdijk and Jaap Van Oosten

By: Contributor(s): Material type: TextTextPublication details: Switzerland Springer 2018Description: xiv, 141p. PBISBN:
  • 9783319924137
DDC classification:
  • 551.3 M69S
Summary: This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Collection Call number Status Date due Barcode Item holds
TextBook S. R. Ranganathan Learning Hub Course Reserve Course Reserves 511.3 M69S (Browse shelf(Opens below)) Not For Loan 13272
TextBook S. R. Ranganathan Learning Hub Course Reserve Course Reserves 511.3 M69S (Browse shelf(Opens below)) Not For Loan 13273
TextBook S. R. Ranganathan Learning Hub General Section General Section 511.3 M69S (Browse shelf(Opens below)) Checked out to Shreya Chaudhary (B24EDM009) 2024-10-26 13274
TextBook S. R. Ranganathan Learning Hub General Section General Section 511.3 M69S (Browse shelf(Opens below)) Available 13275
TextBook S. R. Ranganathan Learning Hub General Section General Section 511.3 M69S (Browse shelf(Opens below)) Available 13276
TextBook S. R. Ranganathan Learning Hub General Section General Section 511.3 M69S (Browse shelf(Opens below)) Available 13277
TextBook S. R. Ranganathan Learning Hub General Section General Section 511.3 M69S (Browse shelf(Opens below)) Available 13278
Total holds: 0
Browsing S. R. Ranganathan Learning Hub shelves, Shelving location: General Section, Collection: General Section Close shelf browser (Hides shelf browser)
510.024 62 K889A Advanced Engineering Mathematics 510.246 R215E Engineering mathematics 511.3 M69S Sets, Models and Proofs 511.3 M69S Sets, Models and Proofs 511.3 M69S Sets, Models and Proofs 511.3 M69S Sets, Models and Proofs 511.3 M69S Sets, Models and Proofs

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.

There are no comments on this title.

to post a comment.