Immediate Impact
2 standout
Citing Papers
Mathematics without Numbers
1993 Standout
The well-founded semantics for general logic programs
1991 Standout
Works of Harvey Friedman being referenced
The complexity of explicit definitions
1976
Higher set theory and mathematical practice
1971
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Harvey Friedman | 423 | 245 | 233 | 42 | 585 | |
| Azriel Lévy | 236 | 117 | 182 | 31 | 516 | |
| Robert L. Vaught | 373 | 199 | 273 | 24 | 716 | |
| Jeremy Avigad | 334 | 258 | 144 | 71 | 589 | |
| Andrzej Mostowski | 335 | 279 | 117 | 40 | 560 | |
| Haim Gaifman | 288 | 342 | 109 | 37 | 678 | |
| Kosta Došen | 425 | 488 | 92 | 66 | 620 | |
| Ronald Björn Jensen | 486 | 61 | 609 | 14 | 688 | |
| Leo Harrington | 517 | 105 | 480 | 44 | 720 | |
| Harold T. Hodes | 267 | 341 | 25 | 30 | 549 | |
| James H. Schmerl | 465 | 94 | 402 | 108 | 705 |
All Works
Loading papers...