Herbrand and Skolems theorems in infinitary languages

Software Languages

Ralf Lammel

The man who knew infinity

Robert Kanigel

THEORY BOOK IT INTRO

Alf Inge

Hermeneutikk

Thomas Krogh

Vitenskapens språk

Kåre Johnsen

Introduction to English Syntax

Rolf. Kreyer

Flervariabel analyse med lineær algebra

Tom L. Lindstrøm

Matematikfilosofi

Ole Skovsmose

Flervariabel analyse med lineær algebra. Oppgaveløsninger til Lindstrøm og Hvebergs Flervariabel analyse med lineær algebra

Øyvind Ryan

Formal logic - a guided tour

Herman Ruge Jervell

Bak tallene

Trygve Breiteig

Varin

Terje Gansum

8202-21464-5

j.b. Holmgård

The History of linguistics in the Nordic countries

Syntactic theory. A formal introduction.

Ivan A. Sag

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

An introduction to homological algebra

Charles A. Weibel

Basic Abstract Algebra

P.B. Bhattacharya

Inteendeel

Andre P Brink

Språk, logikk og argumentasjonsteori

Øyvind Baune

The Language of First-Order Logic

Jon Barwise

Korttekster

Kjell Heggelund

Codes, Ciphers, and Secret Languages

Fred B. Wrixon

Hofmannsthal og hans tid

Hermann Broch

Introduction to the "Laryingeal Theory"

Fredrik Otto Lindeman

Topologi over en innbilt by

Alain Robbe-Grillet

Johan Scharffenberg

Olav Sundet

Innføring i sprogvidenskap

Carl Hjalmar Borgstrøm

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

Semantikk i teori og praksis

Odd Wormnæs

Hegel

Oskar Hansen

Reiser 1704-1726

Ludvig Holberg

Relativitet for millioner

Martin Gardner

Verdensrommets oppbygning

Fred Hoyle

Inne

Odd Brochmann

Søren Kierkegaard Kierkegaardiana V

S ren Kierkegaard

SOLURET

Herman Wildenvey

Kierkegaardiana nr II

S ren Kierkegaard

Aritmetikk Algebra

Hilde Hurlen Ingebrigtsen

Universets undere

Jo Bøving