Title: Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / Edition 1, Author: Philippe de Groote
Title: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings / Edition 1, Author: Mariangiola Dezani-Ciancaglini
Title: Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / Edition 1, Author: Marc Bezem
Title: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / Edition 1, Author: Pawel Urzyczyn
Title: Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / Edition 1, Author: Martin Hofmann
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
Title: Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / Edition 1, Author: Jean-Yves Girard
Title: Turning Points in the History of Mathematics, Author: Hardy Grant
Title: Truthlikeness / Edition 1, Author: I. Niiniluoto
Title: Truth, Proof and Infinity: A Theory of Constructive Reasoning / Edition 1, Author: P. Fletcher
Title: Truth, Proof and Infinity: A Theory of Constructive Reasoning / Edition 1, Author: P. Fletcher
Title: Truth, Probability and Paradox: Studies in Philosophical Logic, Author: J. L. Mackie
Title: Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics, Author: Mario Piazza
Title: Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics, Author: Mario Piazza
Title: Truth Through Proof: A Formalist Foundation for Mathematics, Author: Alan Weir
Title: Truth in Mathematics, Author: H. G. Dales
Title: Truth and Paradox: Solving the Riddles, Author: Tim Maudlin
Title: Trends in Logic: 50 Years of Studia Logica / Edition 1, Author: Vincent F. Hendricks
Title: Trading on the Edge: Neural, Genetic, and Fuzzy Systems for Chaotic Financial Markets / Edition 1, Author: Guido J. Deboeck
Title: Tractatus Logico-Philosophicus / Edition 2, Author: Ludwig Wittgenstein

Pagination Links