Skolem and Herbrand theorems in first order logic

Skepticism

Henrik Lagerlund

Service Logic

Professor Per Skalen

Logic: A Very Short Introduction

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

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

Volker Halbach

Ideas for a Pure Phenomenology and Phenomenological Philosophy

Edmund Husserl

Putting Logic in its Place

David Christensen

Logic

Dan Cryan

Matematikfilosofi

Ole Skovsmose, Ole Ravn

Introduction to logic

Peer Harry Bjørkeng

Logicomix: An Epic Search for Truth

Apostolos Doxiadis

The Philosophy of Mathematics

Stephan Körner

Formal logic - a guided tour

Herman Ruge Jervell

Prologos

Chr. Gorm Tortzen

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

Kees Doets

Deductive Logic

Warren Goldfarb

Logic and Philosophy

Paul Tidman

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Examen Philosophicum

Ragnar Fjelland

Skymma, ljuga, bo

Botho Strauß

Wittgensteins Vienna

Janik, Allan

Deontic Logic in Computer Science

John-Jules Ch. Meyer

The Language of First-Order Logic

Jon Barwise

Formal Logic

Jeffrey, Richard C.

Den lille logikkboken

Bernt Vestre

Rasjonalitet, forståelse og forklaring

Ingemund Gullvåg

Viltsykdommer

Karl Borg

The Myth of Invariance

Ernest G. McClain

Kierkegaard

Theodor W.

Sokrates

S. Eitrem

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Plato's Epistemology and Related Logical Problems

Gwynneth Matthews

Semantikk i teori og praksis

Odd Wormnæs

Stilskriving og logikk

Knut Svortdal

Verdensrommets oppbygning

Fred Hoyle

De store filosofer: Kierkegaard

Thomas Mann

Forklaring over Luthers lille katekisme

J. R. Sverdrup