López-Escobar, Edgar G. K., 1937-
López-Escobar, Edgar G.K
Edgar G. K. Lopez-Escobar
Lopez-Escobar, E. G. K. (Edgar G. K.), 1937-
VIAF ID: 65494766 ( Personal )
Permalink: http://viaf.org/viaf/65494766
Preferred Forms
- 100 0 _ ‡a Edgar G. K. Lopez-Escobar
-
-
-
- 100 1 _ ‡a Lopez-Escobar, Edgar G. K., ‡d 1937-
-
- 100 1 _ ‡a Lopez-Escobar, Edgar G.K. ‡d 1937-
-
- 100 1 _ ‡a López-Escobar, Edgar G. K. ‡d 1937-
-
-
-
4xx's: Alternate Name Forms (26)
Works
Title | Sources |
---|---|
Definitions : the primitive concept of logics or The Leśniewski-Tarski legacy | |
Global discharge conditions for natural deduction systems, 1987: | |
Mathematical logic and theoretical computer science |