Research Catalog

Absoluteness of intuitionistic logic

Title
  1. Absoluteness of intuitionistic logic / D. M. R. Leivant.
Published by
  1. Amsterdam : Mathematisch Centrum, 1979.
Author
  1. Leivant, Daniel Maurice Raphaël.

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatTextAccessRequest in advanceCall numberJSE 79-1265Item locationOffsite

Details

Description
  1. ix, 137 p.; 24 cm.
Series statement
  1. Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \73
Uniform title
  1. Mathematical Centre tracts ; \73.
Subject
  1. Proposition (Logic)
  2. Predicate (Logic)
  3. Intuition
Call number
  1. JSE 79-1265
Note
  1. Originally presented as the author's thesis - Amsterdam.
  2. Includes index.
Bibliography (note)
  1. Bibliography: p. 128-131.
Author
  1. Leivant, Daniel Maurice Raphaël.
Title
  1. Absoluteness of intuitionistic logic / D. M. R. Leivant.
Imprint
  1. Amsterdam : Mathematisch Centrum, 1979.
Series
  1. Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \73
  2. Mathematical Centre tracts ; \73.
Bibliography
  1. Bibliography: p. 128-131.
Research call number
  1. JSE 79-1265
View in legacy catalog