Work

Semantical Analysis of Intuitionistic Logic I

Year: 1965

Type: book-chapter

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(08)71685-9

Author: Saul A. Kripke

Institution: Harvard University

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1699512023

FWCI: 55.06

Cites: 13

Cited by: 627

Related to: 10