WF232: Predicate logic vs predicate calculus

W.H.J. Feijen

Research output: Other contributionOther research output

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1996

Cite this

Feijen, W. H. J. (1996). WF232: Predicate logic vs predicate calculus. Technische Universiteit Eindhoven.
Feijen, W.H.J. / WF232: Predicate logic vs predicate calculus. 1996. Technische Universiteit Eindhoven.
@misc{e4106e44837843b7b273416ef3c08640,
title = "WF232: Predicate logic vs predicate calculus",
author = "W.H.J. Feijen",
year = "1996",
language = "English",
publisher = "Technische Universiteit Eindhoven",
type = "Other",

}

Feijen, WHJ 1996, WF232: Predicate logic vs predicate calculus. Technische Universiteit Eindhoven.

WF232: Predicate logic vs predicate calculus. / Feijen, W.H.J.

Technische Universiteit Eindhoven. 1996, .

Research output: Other contributionOther research output

TY - GEN

T1 - WF232: Predicate logic vs predicate calculus

AU - Feijen, W.H.J.

PY - 1996

Y1 - 1996

M3 - Other contribution

PB - Technische Universiteit Eindhoven

ER -