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. Philosophy: logic
  1. Home
  3. Genres
  7. Philosophy: logic
Formal logic - a guided tour

Paperback • 2004 • English • 1. edition

Formal logic - a guided tour

By Herman Ruge Jervell

0 Ratings • 0.0 of 5

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

About the book

This is a first introduction to logic for universities and colleges. The guided tour goes through the realm of formal logic following a path of around hundred problems. The reader is invited to first solve each problem on his own. Then the solution is given and we go to the next problem. The tour goes through propositional logic, predicate logic, automata, Turing machines and ends up discussing incompleteness phenomena. Logic is both one of the oldest of sciences and is essential for much of the...Show more

Philosophy: logic

Book details

ISBN

9788274771888

Publisher

Akademika

Published year

2004

Language

English

Edition

1

Original title

Formal logic - a guided tour

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

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Formallogikk

Formallogikk

Eivind Kolflaath

Doing Philosophy

Doing Philosophy

Oxford University) Williamson Timothy (Wykeham Professor of Logic

Logic: A Very Short Introduction

Logic: A Very Short Introduction

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

A Cabinet of Philosophical Curiosities

A Cabinet of Philosophical Curiosities

Roy Sorensen

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Logic

Logic

Dan Cryan

Language, Proof and Logic

Language, Proof and Logic

Dave Barker-Plummer

The Problems of Philosophy

The Problems of Philosophy

Bertrand Russell

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

Logicomix: An Epic Search for Truth

Logicomix: An Epic Search for Truth

Apostolos Doxiadis

The logic of life

The logic of life

Tim Harford

The Philosophy of Mathematics

The Philosophy of Mathematics

Stephan Körner

Philosophy a graphic guide

Philosophy a graphic guide

Dave Robinson

Cognitive Linguistics An Introduction

Cognitive Linguistics An Introduction

Vyvyan Evans

The Logic of Real Arguments

The Logic of Real Arguments

Alec Fisher

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Deductive Logic

Deductive Logic

Warren Goldfarb

Theory and reality

Theory and reality

PETER GODFREY-SMITH

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Understanding Philosophy of Science

Understanding Philosophy of Science

James Ladyman

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Syntactic theory. A formal introduction.

Syntactic theory. A formal introduction.

Ivan A. Sag

A New Introduction to Modal Logic

A New Introduction to Modal Logic

George Edward Hughes

Logikk for hvermann

Logikk for hvermann

Harald Johannessen

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

Formal Logic

Formal Logic

Jeffrey, Richard C.

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas

Logic in linguistics

Logic in linguistics

Jens alleood,

On Skolem and Herbrand theorems for intuitionistic logic

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The Logic Book

The Logic Book

Merrie Bergmann

Tractatus Logico-philosophicus

Tractatus Logico-philosophicus

Ludwig Wittgenstein