Predicate Logic as a Working Language

WOLFGANG WINDSTEIGER

BRUNO BUCHBERGER

©    2003 Bruno Buchberger, Wolfgang Windsteiger
Skriptum zur Vorlesung “Logik als Arbeitssprache” an der Universität Linz, WS 2003/04.

Johannes Kepler Universität
A–4040 Linz  ·  Altenbergerstraße 69  ·  Internet: http://www.uni–linz.ac.at  ·  DVR 0093696