Gentzen-Prawitz Natural Deduction as a Teaching Tool Monin, Jean-François; Ene, Cristian; Périn, Michaël

User activity

Share to:
View the summary of this work
Authors
Monin, Jean-François ; Ene, Cristian ; Périn, Michaël
Subjects
computer science - logic in computer science; [info:info_lo] computer science/logic in computer science
Bookmark
http://trove.nla.gov.au/work/196129
Work ID
196129

2 editions of this work

Find a specific edition
Thumbnail [View as table] [View as grid] Title, Author, Edition Date Language Format Libraries

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this work

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this work

Add a comment


Show comments and reviews from Amazon users