Functional Interpretations Plus de livres similaires
Fundamentals of Mathematical Logic
2018
A Concise Introduction to Mathematical Logic
2006
Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science
2020
Context-free Languages And Primitive Words
2014
Proof Theory for Fuzzy Logics
2008
Mathematical Logic
2018
Typed Lambda Calculi and Applications
2007
Set Theory
2006
Sets And Computations
2017
Advances in Mathematical Logic
2022
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
2022
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
2008
Representations of Algebras
2019
Beyond First Order Model Theory, Volume I
2017