Hatcher, William S.
609  results:
Search for persons X
?
1

A Certain Measure of Importance:

Hatcher, William S.
Revue européenne des sciences sociales.  25 (1987)  77 - p. 61-73 , 1987
 
?
4

Characterizing categories of algebras:

Whitney, Stephen ; Hatcher, William S.
Algebra Universalis.  19 (1984)  2 - p. 231-242 , 1984
 
?
5

ON THE ORDER STRUCTURE OF THE HYPERREAL LINE:

Hatcher, William S. ; Laflamme, Claude
Mathematical Logic Quarterly.  29 (1983)  4 - p. 197-202 , 1983
 
?
6

Calculus is Algebra:

Hatcher, William S.
The American Mathematical Monthly.  89 (1982)  6 - p. 362-370 , 1982
 
?
7

The logical foundations of mathematics 

Foundations and philosophy of science and technology
 
?
8

Complexity Bounds on Proofs:

Hatcher, William S. ; Hodgson, Bernard R.
The Journal of Symbolic Logic.  46 (1981)  2 - p. 255-258 , 1981
 
?
9

Absolute algebra 

Teubner-Texte zur Mathematik
Copies:  Zentrale:E02 a mat 145/779
 
?
10

A Language for Type‐Free Algebra:

Hatcher, William S.
Mathematical Logic Quarterly.  24 (1978)  25-30 - p. 385-397 , 1978
 
?
11

A Semantic Basis for Program Verification:

Hatcher†., William S.
Journal of Cybernetics.  4 (1974)  1 - p. 61-69 , 1974
 
?
12

Foundations as a Branch of Mathematics:

Hatcher, William S.
Journal of Philosophical Logic.  1 (1972)  3/4 - p. 349-358 , 1972
 
?
13

Quasiprimitive subcategories:

Hatcher, William S.
Mathematische Annalen.  190 (1970)  2 - p. 93-96 , 1970
 
?
14

Logical Truth and Logical Implication:

Hatcher, William S.
The Journal of Symbolic Logic.  31 (1966)  4 - p. 561 ff. , 1966
 
1-15