THE CONCEPTHORSEIS A CONCEPT

DOI10.1017/S1755020317000284OpenAlexW2777342155MaRDI QIDQ4961743

Ansten Mørch Klev

Publication date: 25 October 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020317000284

zbMATH Keywords

type theoryGottlob Fregepredication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

A Comparison of Type Theory with Set Theory

Uses Software

• Automath

Cites Work

• Singular terms revisited
• Treatise on intuitionistic type theory
• A logical foundation of arithmetic
• The Mathematics of Sentence Structure
• Comments on Prof. Kazuyuki Nomoto's Paper
• Theories of Programming Languages
• Frege's unofficial arithmetic
• Did Frege commit a cardinal sin?
• Wittgenstein's Tractatus
• A formulation of the simple theory of types
• Natural Isomorphisms in Group Theory
• What are numbers?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: THE CONCEPTHORSEIS A CONCEPT