An edition of Introduction to mathematical logic (2012)

Introduction to mathematical logic

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
November 16, 2022 | History
An edition of Introduction to mathematical logic (2012)

Introduction to mathematical logic

This work doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
268

Buy this book

Previews available in: English

Edition Availability
Cover of: Introduction to mathematical logic
Introduction to mathematical logic
2012, World Scientific, World Scientific Publishing Company
in English

Add another edition?

Book Details


Table of Contents

A history of logic
Patterns of reasoning
A language and its meaning
A symbolic language
1850-1950 mathematical logic
Modern symbolic logic
Elements of set theory
Sets, functions, relations
Induction
Turning machines
Computability and decidability
Propositional logic
Syntax and proof systems
Semantics of PL
Soundness and completeness
First order logic
Syntax and proof systems of FOL
Semantics of FOL
More semantics
Soundness and completeness
Why is first order logic "First Order"?

Edition Notes

Includes index.

Published in
Singapore, Hackensack, NJ

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9 .W334 2012, QA9

The Physical Object

Pagination
xii, 268 p. :
Number of pages
268

Edition Identifiers

Open Library
OL25378505M
ISBN 10
9814343862, 9814343870
ISBN 13
9789814343862, 9789814343879
LCCN
2012405527
OCLC/WorldCat
768072910

Work Identifiers

Work ID
OL16706651W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
November 16, 2022 Edited by ImportBot import existing book
August 3, 2020 Edited by ImportBot import existing book
July 18, 2012 Created by LC Bot import new book