Yazar
Kotlarski, Henryk. author.
Format:
Electronic Resources
Alıntı:
A Model–Theoretic Approach to Proof Theory Kotlarski, Henryk. author.
Yazar
Bloch, Ethan D.
Format:
Kitap
Alıntı:
Proof theory.
View Other Search Results
Yazar
Chatti, Saloua. author.
Format:
Electronic Resources
Alıntı:
Proof theory.
Yazar
Hastie, Trevor.
Format:
Kitap
Alıntı:
Proof theory.
Yazar
Stylianou, Despina A.
Format:
Kitap
Alıntı:
Proof theory -- Study and teaching.
Yazar
Bonacina, Ilario. author.
Format:
Electronic Resources
Alıntı:
Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005
Yazar
Horská, Anna. author.
Format:
Electronic Resources
Alıntı:
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of
Yazar
Heule, Marijn. editor.
Format:
Electronic Resources
Alıntı:
Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin
Yazar
Kennedy, Juliette. editor.
Format:
Electronic Resources
Alıntı:
Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory.
Yazar
Quittner, Prof. Dr. Pavol. author.
Format:
Electronic Resources
Alıntı:
Superlinear Parabolic Problems Blow-up, Global Existence and Steady States / Quittner, Prof. Dr
Yazar
Schlechta, Karl. author.
Format:
Electronic Resources
Alıntı:
preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision
Arama Sonuçlarını Sınırlandır