DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Anne Sjerp Troelstra
Anne Sjerp Troelstra
Arxiv:2011.02915V1 [Math.LO] 3 Nov 2020 the Otniy Ucin Pnst Tctr)Ue Nti Ae R T Are Paper (C 1.1
Category Theory and Lambda Calculus
E.W. Beth Als Logicus
Requirements and Theories of Meaning
PHIL 149 - Special Topics in Philosophy of Logic and Mathematics: Nonclassical Logic Professor Wesley Holliday Tuth 11-12:30 UC Berkeley, Fall 2018 Dwinelle 88
Two Lectures on Constructive Type Theory
Curriculum Vitae 2021
A Gentzen-Style Monadic Translation of Gödel's System T
Creating Order in a Vast and Diverse Area
Anne Sjerp Troelstra (10.8.1939–7.3.2019) Am 7
Splittings and Robustness for the Heine-Borel Theorem 3
CS4860-2020-Lecture 2
To Be Or Not to Be Constructive, That Is Not the Question
On the Logical and Computational Properties of the Uncountable
The Dutch Mathematical Landscape
Bespeak Dissertation Fast
Introduction to the Course
Association for Symbolic Logic Business Office: ASL, Dept
Top View