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

First-order dynamic logic

Pocket • 1979 • Engelsk

First-order dynamic logic

Av David Harel

0 vurderinger • 0.0 av 5

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

Om boken

Om boken

ISBN

9783540092377

Forlag

Berlin : Springer

Publiseringsår

1979

Språk

Engelsk

Originaltittel

First-order dynamic logic

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.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Engineering mechanics: dynamics

Engineering mechanics: dynamics

J. L.

A first course in discrete mathematics

A first course in discrete mathematics

Gillian Anderson

Service Logic

Service Logic

Professor Per Skalen

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

Logic: A Very Short Introduction

Logic: A Very Short Introduction

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

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

The logic manual

Volker Halbach

Nonlinear Systems

Nonlinear Systems

Hassan Askari

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Logic

Logic

Dan Cryan

Linear Algebra and Its Applications

Linear Algebra and Its Applications

David Aaronovitch

Objects First with Java

Objects First with Java

David Barnes

Thinking fast and slow

Thinking fast and slow

Daniel Kahnemann

Introduction to logic

Introduction to logic

Peer Harry Bjørkeng

The logic of life

The logic of life

Tim Harford

The Logic Book

The Logic Book

Merrie Bergmann

Fundementals of digital logic with VHDL design

Fundementals of digital logic with VHDL design

Stepthen brown

Differential equations

Differential equations

David A. Aaker

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Linear algebra

Linear algebra

David Aaronovitch

Objects first with Java : a practical introduction using BlueJ

Objects first with Java : a practical introduction using BlueJ

David J. Barnes

Algorithm Desin

Algorithm Desin

Jon Kleinberg

Fundamentals of Digital Logic with VHDL Design

Fundamentals of Digital Logic with VHDL Design

Stephen D. Brown

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Introduction to computing systems: from bits & gates to c & beyond

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Deductive Logic

Deductive Logic

Warren Goldfarb

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

Dynamik

Dynamik

Ragnar Grahn

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Den lille logikkboken

Den lille logikkboken

Bernt Vestre

Formal Logic

Formal Logic

Jeffrey, Richard C.

Chaos, fractals and dynamics

Chaos, fractals and dynamics

Robert L Devaney

leibniz and dynamics

leibniz and dynamics

Pierre Costabel

On Skolem and Herbrand theorems for intuitionistic logic

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton