Work

Foundations of Intuitionistic Logic

Year: 1966

Type: book-chapter

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(09)70587-7

Author: G. Kreisel

Institution: Université Paris Cité

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W976547571

FWCI: 3.914

Cites: 16

Cited by: 92

Related to: 10