Back to Search Start Over

Sheaves and logic

Authors :
Michael P. Fourman
Dana Scott
Source :
Lecture Notes in Mathematics ISBN: 9783540095644
Publication Year :
1979
Publisher :
Springer Berlin Heidelberg, 1979.

Subjects

Subjects :
Direct image with compact support
Pure mathematics
Complete lattice
Sheaf
Intuitionistic logic
Congruence relation
Topological space
Inverse image functor
Quantaloid
Mathematics

Details

ISBN :
978-3-540-09564-4
ISBNs :
9783540095644
Database :
OpenAIRE
Journal :
Lecture Notes in Mathematics ISBN: 9783540095644
Accession number :
edsair.doi...........a1f0fb7f5168ef6956564dc5f20db670
Full Text :
https://doi.org/10.1007/bfb0061824
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details