Hilbert's ϵ‐operator in intuitionistic type theories
type: Item
instance of: scholarly article
title: Hilbert's ϵ‐operator in intuitionistic type theories
zbMATH Open document ID: 0802.03005
published in: Mathematical Logic Quarterly
publication date: 1994-10-05T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 635977
zbMATH Keywords: Hilbert's \(\varepsilon\)-calculus
zbMATH Keywords: intuitionistic type theories
zbMATH Keywords: intuitionistic higher-order logic
zbMATH Keywords: topos semantics
zbMATH Keywords: \(\varepsilon\)- operator
zbMATH Keywords: completeness theorem
MaRDI profile type: Publication
full work available at URL: malq.19930390137
OpenAlex ID: W2190514756
cites work: Q4039735
cites work: Q4145861
DOI: 10.1002/MALQ.19930390137
author: John L. Bell
description: scientific article; zbMATH DE number 635977