A Concise Introduction to Mathematical Logic Plus de livres similaires
Fundamentals of Mathematical Logic
2018
Logic and Algebra
2017
Functional Interpretations
2019
Mathematical Logic
2018
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
2022
Mathematical Logic and Theoretical Computer Science
2020
Advances in Mathematical Logic
2022
Set Theory
2006
Sets And Computations
2017
Beyond First Order Model Theory, Volume I
2017
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
2008
Typed Lambda Calculi and Applications
2007
A First Course in Mathematical Logic and Set Theory
2015
Set Theory
2011
A Modern Perspective on Type Theory
2006