Logik und Grundlagenforschung
Not in Library

Buy this book

Last edited by Clean Up Bot
March 11, 2019 | History
An edition of Logik und Grundlagenforschung (1986)

Logik und Grundlagenforschung

Festkolloquium zum 100. Geburtstag von Heinrich Scholz.

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition was published in by Aschendorff in Münster.

Written in German / Deutsch

130 pages

This edition doesn't have a description yet. Can you add one?

Edition Availability
Cover of: Logik und Grundlagenforschung
Logik und Grundlagenforschung: Festkolloquium zum 100. Geburtstag von Heinrich Scholz.
1986, Aschendorff
in German / Deutsch

Add another edition?

Logik und Grundlagenforschung

Festkolloquium zum 100. Geburtstag von Heinrich Scholz.

This edition was published in by Aschendorff in Münster.


Table of Contents

Die Logik zeitlicher Aussagen und die Grundlagen der Physik / Carl Friedrich Frh. v. Weizsäcker
Die Absolutheit der semantischen und die Relativität der syntaktischen Begriffe / Gisbert Hasenjaeger
Logistik in Münster um die Mitte der dreissiger Jahre / Hans Hermes
Bemerkungen über die Bolzanosche Wissenschaftslehre / Ettore Casari
Zur logizistischen These, Beweis des Unendlichkeitsaxioms in Quines Logik / Arnold Oberschelp
Interpolation, Definierbarkeit und Leibniz-Logiken / Heinz Dieter Ebbinghaus
Eine Normalform für endliche Approximation von partiellen stetigen Funktionalen / Helmut Schwichtenberg
Analytische Methoden und Simulationstechniken in den mathematischen Wissenschaften / Walter Oberschelp
Zur Rolle der Logik in der künstlichen Intelligenz / Michael M. Richter
Ist das Programmieren eine Kunst oder eine Wissenschaft? / Thomas Ottmann.

Edition Notes

Includes bibliographies.
Papers from a meeting held Feb. 8-9, 1985 and sponsored by the Institut für Mathematische Logik und Grundlagenforschung der Westfälische Wilhelms-Universität Münster.

Series
Schriftenreihe der Westfälischen Wilhelms-Universität Münster ;, n.F., Heft 8

Classifications

Library of Congress
BC5 .L65 1986

ID Numbers

Open Library
OL2439935M
ISBN 10
3402045273
LC Control Number
87133654

Lists containing this Book

History

Download catalog record: RDF / JSON
March 11, 2019 Created by Clean Up Bot import existing book