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

A proof technique based on simplification

Paperback • 1983 • English

A proof technique based on simplification

By Rolf Nossum

0 Ratings • 0.0 of 5

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

About the book

Book details

ISBN

9788290230734

Publisher

Oslo : Universitetet i Oslo, Inst.for informatikk

Published year

1983

Language

English

Original title

A proof technique based on simplification

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

Skepticism

Skepticism

Henrik Lagerlund

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 MAGGIE

Software Languages

Software Languages

Ralf Lammel

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

Proving in the Elementary Mathematics Classroom

Proving in the Elementary Mathematics Classroom

University of Cambridge) Stylianides Andreas J. (Reader in Mathematics Education Reader in Mathematics Education

Metodebok

Metodebok

University of Sussex) Boden Margaret A. (Research Professor of Cognitive Science

Discrete Mathematics

Discrete Mathematics

Richard Johnsonbaugh

Mathematical Proofs: A Transition to Advanced Mathematichs

Mathematical Proofs: A Transition to Advanced Mathematichs

Chartrand Polimeni zhanh

Statistics Principles and methods

Statistics Principles and methods

Richard Eggenberger (Narad)

Sigma R1

Sigma R1

Øgrim

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education

Gila Hanna

Probability & Statistics

Probability & Statistics

Ronald Walpole

Introduction to the Practice of STATISTICS

Introduction to the Practice of STATISTICS

Matematikfilosofi

Matematikfilosofi

Ole Skovsmose, Ole Ravn

Statistics for Dummies

Statistics for Dummies

Deborah J. Rumsey

Slik argumenterer du

Slik argumenterer du

Dr Alastair Bonnett

Teaching and Learning Proof Across the Grades A K-16 Perspective

Teaching and Learning Proof Across the Grades A K-16 Perspective

Despina A. Stylianou

Introduction to Probability Models 10th Editi…

Introduction to Probability Models 10th Editi…

Sheldon M. Ross

Mathematics for Biological Scientists

Mathematics for Biological Scientists

Mike Aitken

Let Over Lambda

Let Over Lambda

Doug Hoyte

Matlab Hard stuff made easy

Matlab Hard stuff made easy

David McMahon

Linear algebra

Linear algebra

David Aaronovitch

Algorithm Desin

Algorithm Desin

Jon Kleinberg

AMPL

AMPL

Robert Fourer

Discrete mathematics for computing

Discrete mathematics for computing

Peter Grossman

Chapter Zero

Chapter Zero

Carol Schumacher

Complex analysis

Complex analysis

Theodore W.

Schaum's outline of theory and problems of discrete mathematics

Schaum's outline of theory and problems of discrete mathematics

Lipschutz,Seymour

A cascade of numbers

A cascade of numbers

R P Burn

Mathematics for Economists

Mathematics for Economists

Lawrence E. Blume, Carl P. Simon

Basic Abstract Algebra

Basic Abstract Algebra

P.B. Bhattacharya,

Lirel 8: structural equation modeling with the simplis command language

Lirel 8: structural equation modeling with the simplis command language

Carnovsky (designergruppe)

Nadeau-Metoden

Nadeau-Metoden

Michaël Russel

Algorithms in C\++

Algorithms in C\++

Robert Sedgewick

Formal Logic

Formal Logic

Jeffrey, Richard C.

Vagabondering : dikt

Vagabondering : dikt

Kolbein Falkeid

Rableviser

Rableviser

Ole Paus

On Skolem and Herbrand theorems for intuitionistic logic

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton