VOLUME 1 NUMBER 2 DECEMBER 1996

Nordic Journal of Philosophical Logic (NJPL)

JENS ERIK FENSTAD
THORALF ALBERT SKOLEM 1887--1963:
A BIOGRAPHICAL SKETCH 

 

HERMAN RUGE JERVELL
THORALF SKOLEM: PIONEER OF COMPUTATIONAL LOGIC


THE SKOLEM LECTURES AT THE UNIVERSITY OF OSLO

 

HAO WANG
SKOLEM AND GÖDEL

GRIGORI MINTS
THORALF SKOLEM AND THE EPSILON SUBSTITUTION
METHOD FOR PREDICATE LOGIC


MATTI EKLUND
ON HOW LOGIC BECAME FIRST-ORDER

JAAKKO HINTIKKA AND GABRIEL SANDU
A REVOLUTION IN LOGIC?

 

SCANDINAVIAN UNIVERSITY PRESS

Oslo - Copenhagen - Stockholm - Boston