The Information in Intuitionistic Logic | Institute for Logic, Language and Computation

About the ILLC
News and Events
Research
Education
People
Media
- Blog
- ILLC People in the Media
  - 2024
  - 2023
  - 2022
  - 2021
  - 2020
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
- ILLC Magazine
Contact
- Contact
- Directions
Search

Institute for Logic, Language and Computation

ILLC UvA

Main Page Navigation

About the ILLC
News and Events
Research
Education
People
- Communication Commission
  - Communication Session
Media
Contact
- - Contact
  - Directions

Prepublication (PP) Series

Home

Research Output

Preprints and Other Reports

Prepublication (PP) Series

The Information in Intuitionistic Logic

Preprints and Other Reports
Prepublication (PP) Series
Technical Notes (X) Series
Master of Logic (MoL) Series
Mathematical Logic and Foundations (ML) Series (1988-1998)
Logic, Philosophy and Linguistics (LP) Series (1988-1998)
Computation and Complexity Theory (CT) Series (1988-1998)
Computational Linguistics (CL) Series (1988-1993)
Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)

PP-2008-37:: Johan van Benthem The Information in Intuitionistic Logic
1.Full Text, 2.Abstract.

Back

Copyright ILLC/UvA 2024 Privacy policy