| VOLUME 1 | NUMBER 2 | DECEMBER 1996 |
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
Johan W. Klüwer <johanw@filosofi.uio.no> Last modified: Wed Mar 5 22:52:27 1997