Introduction to Formal Realizability Theory-I
McMillan, BrockwayVolume:
31
Language:
english
Journal:
Bell System Technical Journal
DOI:
10.1002/j.1538-7305.1952.tb01383.x
Date:
March, 1952
File:
PDF, 22.94 MB
english, 1952