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

An Herbrand theorem for higher order logic

Paperback • 1971 • Norwegian Bokmål

An Herbrand theorem for higher order logic

By Herman Ruge Jervell

0 Ratings • 0.0 of 5

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

About the book

Book details

ISBN

9788255300588

Publisher

Oslo

Published year

1971

Language

Norwegian Bokmål

Original title

An Herbrand theorem for higher order 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

Service Logic

Service Logic

Professor Per Skalen

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

Ideas for a Pure Phenomenology and Phenomenological Philosophy

Ideas for a Pure Phenomenology and Phenomenological Philosophy

Edmund Husserl

Logic

Logic

Dan Cryan

Introduction to logic

Introduction to logic

Peer Harry Bjørkeng

The Logic Book

The Logic Book

Merrie Bergmann

Let Over Lambda

Let Over Lambda

Doug Hoyte

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

The Logic of Real Arguments

The Logic of Real Arguments

Alec Fisher

Deductive Logic

Deductive Logic

Warren Goldfarb

The Rationality of Theism

The Rationality of Theism

Paul K. Moser

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Uhu! : hermetikkbok. 1

Uhu! : hermetikkbok. 1

Lier 2000

Lier 2000

Erik Hurst

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Wittgensteins Vienna

Wittgensteins Vienna

Janik, Allan

A New Introduction to Modal Logic

A New Introduction to Modal Logic

George Edward Hughes

An introduction to homological algebra

An introduction to homological algebra

Charles A. Weibel

Homology theory

Homology theory

James W. Vick

Deontic Logic in Computer Science

Deontic Logic in Computer Science

John-Jules Ch. Meyer

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Logic

Formal Logic

Jeffrey, Richard C.

Den lille logikkboken

Den lille logikkboken

Bernt Vestre

A history of Modern Philosophy

A history of Modern Philosophy

Harald Höffding

Topologi over en innbilt by

Topologi over en innbilt by

Alain Robbe-Grillet

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

Plato's Epistemology and Related Logical Problems

Plato's Epistemology and Related Logical Problems

Gwynneth Matthews

Hegel

Hegel

Oskar Hansen

Semantikk i teori og praksis

Semantikk i teori og praksis

Odd Wormnæs

Reiser 1704-1726

Reiser 1704-1726

Ludvig Holberg

Drei Studien zu Hegel

Drei Studien zu Hegel

Theodor W.

Stichworte

Stichworte

Theodor W.

An Introduction to Philosophical Analysis

An Introduction to Philosophical Analysis

John Hospers

Verdensrommets oppbygning

Verdensrommets oppbygning

Fred Hoyle