The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Norway

Region is based on IP address

  1. Home
  5. Mathematical logic
  1. Home
  3. Genres
  7. Mathematical logic
Introduction To Mathematical Logic (Extended Edition)

Paperback • 2016 • 1. edition

Introduction To Mathematical Logic (Extended Edition)

By Norway) Walicki Michal (Univ Of Bergen

1 Ratings • 5.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic - their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability argument...Show more

Mathematical logic

Book details

ISBN

9789814719964

Publisher

World Scientific Publishing Co Pte Ltd

Published year

2016

Language

Edition

1

Original title

Introduction To Mathematical Logic (Extended Edition)

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Other versions

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Hardcover · 2016

Reviews · 0

1 Ratings • 5.0 of 5

You might also like

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Mathematical Methods 1

Mathematical Methods 1

Pearson, NTNU

Elementary and Middle school Mathematics

Elementary and Middle school Mathematics

John A. Van de Walle

Logic: A Very Short Introduction

Logic: A Very Short Introduction

Graham (Distinguished Professor of Philosophy at the CUNY Graduate Center) Priest

Matematikk for Ingeniørstudenter - Oppgavebok

Matematikk for Ingeniørstudenter - Oppgavebok

Amir M. Hasheim

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

The Principles of Mathematics

The Principles of Mathematics

Bertrand Russell

Den logiske sandkasse

Den logiske sandkasse

Peter Wessel Zapffe

Introduction to mathematical statistics and i…

Introduction to mathematical statistics and i…

Richard Bejtlich

Metaphysics

Metaphysics

USA) Ney Alyssa (University of California - Davis

Logiske metoder

Logiske metoder

Roger Antonsen

Matematikfilosofi

Matematikfilosofi

Ole Skovsmose, Ole Ravn

Language, Proof and Logic

Language, Proof and Logic

Dave Barker-Plummer

Introduction to logic

Introduction to logic

Peer Harry Bjørkeng

Introduction to Metaphysics

Introduction to Metaphysics

Carroll John

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Deductive Logic

Deductive Logic

Warren Goldfarb

Thinking Mathematically

Thinking Mathematically

Thomas p.

Logic and Philosophy

Logic and Philosophy

Paul Tidman

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Logic

Logic

Paul Tomassi

A New Introduction to Modal Logic

A New Introduction to Modal Logic

George Edward Hughes

Logikk for hvermann

Logikk for hvermann

Harald Johannessen

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

Advanced Mathematical Methods

Advanced Mathematical Methods

Adam Ostaszewski

Formal Logic

Formal Logic

Jeffrey, Richard C.

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas

Selected Papers in Logic and Foundations, Didactics, Economics

Selected Papers in Logic and Foundations, Didactics, Economics

Karl Menger

Logic in linguistics

Logic in linguistics

Jens Allwood

En del elementære logiske emner

En del elementære logiske emner

Arne Næss

Den lille logikkboken

Den lille logikkboken

Bernt Vestre

Understanding Analysis

Understanding Analysis

Stephen Abbott

The Logic Book

The Logic Book

Merrie Bergmann