A uniform quantificational logic for algebraic notions of context

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Elementary Linear Algebra (Applications version)

Howard Anton

Software Languages

Ralf Lammel

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

Volker Halbach

The Principles of Mathematics

Bertrand Russell

Discrete Mathematics

Richard Johnsonbaugh

Matematikfilosofi

Ole Skovsmose, Ole Ravn

Introduction to logic

Peer Harry Bjørkeng

Undergraduate Commutative Algebra

Miles Reid

The Logic Book

Merrie Bergmann

Formal logic - a guided tour

Herman Ruge Jervell

Linear algebra

David Aaronovitch

Combinatorial Commutative Algebra

Ezra Miller

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Concepts in Programming Languages

John Abercrombie

A First Course in Abstract Algebra

John B. Fraleigh

Logic

Wilfrid Hodges

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Categories for the Working Mathematician

Saunders Mac Lane

A New Introduction to Modal Logic

George Edward Hughes

Introduction To Commutative Algebra

Michael Atiyah

Basic Abstract Algebra

P.B. Bhattacharya,

Mathematical Methods in Linguistics

Barbara H.

Deontic Logic in Computer Science

John-Jules Ch. Meyer

The Language of First-Order Logic

Jon Barwise

Formal Logic

Jeffrey, Richard C.

Matematiske modeller

Asle Overholdt

Modal Logic An Introduction

Brian F. Chellas

Logic in linguistics

Jens alleood,

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Grundsymboler : tal, bogstaver, geometriske figurer

Gotfred Mortensen

Nær null

D. K. C. MacDonald

Vann

Kenneth S. Davis

Mathematik 1

Heinrich Behnke

Physik

Prof. Dr.Walther Gerlach

Verdensrommets oppbygning

Fred Hoyle