Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Andrew V Sutherland

1PUBLICATIONS
0CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

Sort by Publication Date:
|Mar 11, 2021
On a question of Mordell.

Andrew R Booker, Andrew V Sutherland

Pageof 1

Frequent Collaborators

Frequent Collaborators

Top Related Videos

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on : Jul 22, 2025

See more related videos

Top Related Videos

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on : Jul 22, 2025

See more related videos