Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Norge

Region er basert på IP-adresse

  1. Hjem
  5. Matematisk logikk
  1. Hjem
  3. Sjangere
  7. Matematisk logikk
Introduction To Mathematical Logic (Extended Edition)

Pocket • 2016 • 1. utgave

Introduction To Mathematical Logic (Extended Edition)

Av Norway) Walicki Michal (Univ Of Bergen

1 vurderinger • 5.0 av 5

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

Om boken

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...Vis mer

Matematisk logikk

Om boken

ISBN

9789814719964

Forlag

World Scientific Publishing Co Pte Ltd

Publiseringsår

2016

Språk

Utgave

1

Originaltittel

Introduction To Mathematical Logic (Extended Edition)

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Andre utgaver

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Innbundet · 2016

Omtaler · 0

1 vurderinger • 5.0 av 5

Du vil kanskje også 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