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

First-order dynamic logic

Paperback • 1979 • English

First-order dynamic logic

By David Harel

0 Ratings • 0.0 of 5

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

About the book

Book details

ISBN

9783540092377

Publisher

Berlin : Springer

Published year

1979

Language

English

Original title

First-order dynamic logic

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.

Reviews · 0

0 Ratings • 0.0 of 5

You might also 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