Lischitz' Realizability

Research output: Contribution to journal › Article › Academic › peer-review

Cite this

@article{3e1cf68483ee4ec39f0e8c3ffaff9b7b,

title = "Lischitz' Realizability",

author = "\{van Oosten\}, Jakobus",

year = "1990",

month = may,

day = "31",

language = "English",

volume = "55",

pages = "805--821",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}