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, Ole Ravn

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

Ryan, Øyvind

The language of metaphors

Goatly

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

Skjellsordboka

Tor Erik Jenstad

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

A theory of communication and use of language

Per Saugstad

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

Introduction to Algebraic K-theory

John Willard Milnor

Reiser 1704-1726

Ludvig Holberg

Verdensrommets oppbygning

Fred Hoyle

Inne

Odd Brochmann

SOLURET

Herman Wildenvey

Universets undere

Jo Bøving