A new proof of the classical Herbrand and Skolem theorem

Skepticism

Henrik Lagerlund

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Omvendt

Hans Christian

Mathematics of Quantum Computing

Wolfgang Scherer

We Reason & We Prove for ALL Mathematics

Fran Arbaugh

Service Logic

Professor Per Skalen

Introduction to Logic

SJ Gensler Harry J.

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The Principles of Mathematics

Bertrand Russell

Introduction to probability models

Sheldon M. Ross

Joining together: Group Theory and group skil…

David Johnson,

Current Controversies in Epistemology

Introduction to quantum mechanics

David Griffiths

Mathematical Proofs: A Transition to Advanced Mathematichs

Chartrand Polimeni zhanh

Proof and Proving in Mathematics Education

Gila Hanna

Matematikfilosofi

Ole Skovsmose, Ole Ravn

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

Despina A. Stylianou

Let Over Lambda

Doug Hoyte

Formal logic - a guided tour

Herman Ruge Jervell

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

Kees Doets

Math hysteria

Ian Stewart

The Rationality of Theism

Paul K. Moser

Chapter Zero

Carol Schumacher

Complex analysis

Theodore W.

Categories for the Working Mathematician

Saunders Mac Lane

Mathematical fallacies and paradoxes

Bryan Bunch

From Here to Infinity

Ian Stewart

An introduction to homological algebra

Charles A. Weibel

Basic Abstract Algebra

P.B. Bhattacharya,

Homology theory

James W. Vick

Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)

Ravenel, Douglas C.

The Language of First-Order Logic

Jon Barwise

Formal Logic

Jeffrey, Richard C.

Cohomology of Groups

Kenneth S. Brown

Topologi over en innbilt by

Alain Robbe-Grillet

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Introduction to Algebraic K-theory

John Willard Milnor

An adventurer's guide to number theory

Richard Friedberg

Rutherford og moderne atomfysikk

Costa Andrade

Verdensrommets oppbygning

Fred Hoyle