Sorten, Typen und Typenfreiheit

(ed.)
Berlin: Institut für Linguistik der Technischen Universität Berlin (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

P325.S58 1994

ISBN(s)

3798315825   9783798315822

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

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

Through your library

My notes

Similar books and articles

Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Logic Semantics, Metamathematics Papers From 1923 to 1938. Translated by J.H. Woodger.Alfred Tarski - 1956 - Clarendon Press.
Introduction to Semantics and Formalization of Logic.Rudolf Carnap - 1959 - Harvard University Press.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
The elements of mathematical semantics.Maurice Vincent Aldridge - 1992 - New York: Mouton de Gruyter.
Type-logical semantics.Bob Carpenter - 1997 - Cambridge, Mass.: MIT Press.
Anti-Realist Semantics for Mathematical and Natural Language.Matthew James Watson - 1998 - Dissertation, The University of Texas at Austin
Possible worlds: logic, semantics and ontology.Guido Imaguire & Dale Jacquette (eds.) - 2010 - München: Philosophia.
A Paradigm for Program Semantics: Power Structures and Duality.Chris Brink & Ingrid M. Rewitzky - 2001 - Center for the Study of Language and Inf.
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.

Analytics

Added to PP
2015-02-03

Downloads
2 (#1,775,919)

6 months
2 (#1,244,653)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Klaus Robering
University of Southern Denmark

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references