Textbooks
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Peter B. Andrews
1st Edition
ISBN #120585359
321 Questions
0 Students Work From this Textbook
Get access to all of the answers and step-by-step video explanations to this book and 5,000+ more. Try Numerade free.
Join Free Today
Chapters
1
Propositional Calculus
8 sections
69 questions
2
First-Order Logic
8 sections
112 questions
3
Provability and Refutability
7 sections
36 questions
4
Further Topics in First-Order Logic
3 sections
6 questions
5
Type Theory
6 sections
42 questions
6
Formalized Number Theory
6 sections
33 questions
7
Incompleteness and Undecidability
5 sections
23 questions
Get step-by-step video solution
from top educators
Start your free 7-day trial, Sign up now.
Continue with Facebook
Continue with Apple
Continue with Clever
or
Name
Email
Password
Create Account
By creating an account, you agree to the
Terms of Service
and
Privacy Policy
Already have an account?
Log In
A free answerjust for you
Watch the video solution with this free unlock.
View the Answer
Log in to watch this video
...and 100,000,000 more!
EMAIL
PASSWORD
Log in
OR
Continue with Facebook
Continue with Apple
Continue with Clever
Don't have an account?
Sign Up