Untersuchungen Über Die Modelle Der Typentheorie

Mathematical Logic Quarterly 11 (4):343-372 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Untersuchungen Über Die Modelle Der Typentheorie.Peter Schreiber - 1965 - Mathematical Logic Quarterly 11 (4):343-372.
Über die Bildung mathematischer Modelle und deren deduktive Überprüfung.Helga Bunke - 1986 - Deutsche Zeitschrift für Philosophie 34 (2):135.
John Locke über Gründe und Grenzen der Toleranz.Dirk Brantl - 2013 - In Dirk Brantl, Rolf Geiger & Stephan Herzberg (eds.), Philosophie, Politik Und Religion: Klassische Modelle von der Antike Bis Zur Gegenwart. [Berlin]: De Gruyter. pp. 145-162.
Modelle und Forschungsdynamik: Strategien der zeitgenössischen Physik.Stephan Hartmann - 1995 - Praxis der Naturwissenschaften - Physik 1:33-41.

Analytics

Added to PP
2016-02-04

Downloads
24 (#670,687)

6 months
3 (#1,020,910)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Ueber eine abgeschwaechte Fassung des Auswahlaxioms.A. Fraenkel - 1937 - Journal of Symbolic Logic 2 (1):1-25.
Note on two theorems of Mostowski.Raouf Doss - 1945 - Journal of Symbolic Logic 10 (1):13-15.

Add more references