Skip to main content
Elsevier

Intuitionistic Logic Model Theory and Forcing

  • 1st Edition, Volume 54 - April 1, 2000
  • Latest edition
  • Author: Lev D. Beklemishev
  • Language: English

Purchase options

Sorry, this title is not available for purchase in your country/region.

Black Friday

Up to 40% off trusted resources

Black Friday savings are here

Shop now

Readership

Students and researchers in Logic (Mathematics, Computer Science, Philosophy).

Product details

  • Edition: 1
  • Latest edition
  • Volume: 54
  • Published: April 1, 2000
  • Language: English

About the author

Lev D. Beklemishev

Author
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.

View book on ScienceDirect

Read Intuitionistic Logic Model Theory and Forcing on ScienceDirect