Review of the book How to prove it: a structured approach, D.J. Velleman, 1996

H.C.M. de Swart

Review of the book How to prove it: a structured approach, D.J. Velleman, 1996

H.C.M. de Swart

Research output: Contribution to journal › Book/Film/Article review › Other research output

Original language	English
Pages (from-to)	309
Journal	Zentralblatt für Mathematik und ihre Grenzgebiete
Issue number	816.00004
Publication status	Published - 1996

Integration of object-oriented and logic programming
de Swart, H. (Principal Investigator)
1/01/93 → 31/12/97
Project: Research project

Cite this

@article{d0ae074e1aab4960887f3941f9914105,

title = "Review of the book How to prove it: a structured approach, D.J. Velleman, 1996",

author = "\{de Swart\}, H.C.M.",

note = "Reviewed items: Title: How to prove it: a structured approach Author(s): D.J. Velleman Year published: 1996 Number of pages: 309 Publisher: Cambridge University Press Place of publication: Cambridge ISBN: 0521441161",

year = "1996",

language = "English",

pages = "309",

journal = "Zentralblatt f{\"u}r Mathematik und ihre Grenzgebiete",

issn = "0044-4235",

number = "816.00004",

}

TY - JOUR

T1 - Review of the book How to prove it

T2 - a structured approach, D.J. Velleman, 1996

AU - de Swart, H.C.M.

N1 - Reviewed items: Title: How to prove it: a structured approach Author(s): D.J. Velleman Year published: 1996 Number of pages: 309 Publisher: Cambridge University Press Place of publication: Cambridge ISBN: 0521441161

PY - 1996

Y1 - 1996

M3 - Book/Film/Article review

SN - 0044-4235

SP - 309

JO - Zentralblatt für Mathematik und ihre Grenzgebiete

JF - Zentralblatt für Mathematik und ihre Grenzgebiete

IS - 816.00004

ER -

Review of the book How to prove it: a structured approach, D.J. Velleman, 1996

Projects

Integration of object-oriented and logic programming

Cite this