ericxlima / logic

flashcards for logic monitoring

Flashcards to Logic

👉 View Deploy

Support material for the subject of Logic for Computing, courses at the Informatics Center - UFPE. Developed based on the book "A modern Formal Logic Primer" by Paul Teller.

List of All References

Livro	Autor	ISBN
A modern Formal Logic Primer	Paul Teller	978-0139031960
Logic and Structure	Dirk Dalen	978-1-4471-4557-8
A Shorter Model Theory	Wilfrid Hodges	9780521587136

A modern Formal Logic Primer | Paul Teller | ISBN