Back to Search Start Over

A semi-completeness theorem

Authors :
Stephen L. Bloom
Source :
Notre Dame J. Formal Logic 10, no. 3 (1969), 303-308
Publication Year :
1969
Publisher :
Duke University Press, 1969.

Subjects

Subjects :
Pure mathematics
Fundamental theorem
Picard–Lindelöf theorem
Logic
Compactness theorem
Danskin's theorem
02.77
Brouwer fixed-point theorem
Squeeze theorem
Carlson's theorem
Mean value theorem
Mathematics

Details

Language :
English
Database :
OpenAIRE
Journal :
Notre Dame J. Formal Logic 10, no. 3 (1969), 303-308
Accession number :
edsair.doi.dedup.....788af08e478d7d7299e5d1b7640a71b8

Tools

Authors Abstract Subjects Details