W. Ewald

发表

Temporal verification of carrier-sense local area network protocols

Dennis Shasha, Amir Pnueli, W. Ewald, 1984, POPL '84.

Comparative Jurisprudence (I): What Was it Like to Try a Rat?

W. Ewald, 1995 .

James Wilson and the Scottish Enlightenment

W. Ewald, 2010 .

The masks of Jonathan Swift

W. Ewald, 1954 .

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Dirk Schlimm, William Ewald, Wilfried Sieg, 2013 .

Comparative Jurisprudence (II): The Logic of Legal Transplants

W. Ewald, 1995 .

Intuitionistic tense and modal logic

W. B. Ewald, W. Ewald, 1986, Journal of Symbolic Logic.

The Ike Age Revisited@@@The Eisenhower Diaries.@@@Eisenhower the President: Crucial Days: 1951-1960.@@@Ike's Spies: Eisenhower and the Espionage Establishment.@@@The Declassified Eisenhower: A Divided Legacy.@@@The Hidden-Hand Presidency: Eisenhower as Leader.

Stephen E. Ambrose, A. Schlesinger, W. Ewald, 1983 .

on the Foundations of Arithmetic and Logic

Michael Hallett, W. Ewald, Dirk Schlimm, 2017 .

Eisenhower the President: Crucial Days, 1951-1960

W. Ewald, 1981 .