Title
Author / Artist
Binding
ISBN/ISBN-13 or UPC
Pub Date
Price
Trends in Belief Revision and Argumentation Dynamics (Studies in Logic)Ferme, Eduardo L. Paperback 1848900651 / 9781848900653 2013-12-04 $23.28
Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta (Portuguese) Gracher, Kherian Paperback 1848903928 / 9781848903920 2022-02-11 $25.65
Truth and Assertibility Weaver, Nik Hardcover 9814619957 / 9789814619950 2015-05-06 $93.10
Truth and Knowledge Schlechta, Karl Paperback 1848904037 / 9781848904033 2022-05-24 $16.63
Truth in Mathematics (Oxford Science Publications)Dales, H. G. Hardcover 019851476X / 9780198514763 1998-12-10 $403.75
Turing Machines with Sublogarithmic Space 1994 Edition (Ernst Schering Research Foundation Workshops)Szepietowski, Andrzej Paperback 3540583556 / 9783540583554 1994-08-29 $52.24
Turing's Legacy: Developments from Turing's Ideas in Logic (Lecture Notes in Logic)Downey, Rod Hardcover 1107043484 / 9781107043480 2014-05-01 $159.60
Turing's Revolution: The Impact of His Ideas about Computability 2015 Edition Sommaruga, Giovanni Hardcover 3319221558 / 9783319221557 2016-01-29 $123.49
Twenty Years of a New Kind of Science Wolfram, Stephen Hardcover 1579550495 / 9781579550493 2023-03-15 $32.81
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Sambin, Giovanni Hardcover 0198501277 / 9780198501275 1998-12-10 $114.00
Two Applications of Logic to Mathematics Takeuti, Gaisi Paperback 0691610223 / 9780691610221 2015-03-08 $33.25
Two Applications of Logic to Mathematics Takeuti, Gaisi Hardcover 0691638373 / 9780691638379 2016-04-19 $82.65
Type Systems for Distributed Programs: Components and Sessions 2016 Edition (Atlantis Studies in Computing)Dardha, Ornela Hardcover 946239203X / 9789462392038 2016-08-09 $103.55
Typed Lambda Calculi and Applications 2009 Edition (Lecture Notes in Computer Science)Curien, Pierre-Louis Paperback 3642022723 / 9783642022722 2009-06-08 $52.24
Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, Eindhoven, the Netherlands, June 26-28, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Hasegawa, Masahito Paperback 3642389457 / 9783642389450 2013-06-06 $68.40
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science,)Girard, Jean-Yves Paperback 3540657630 / 9783540657637 1999-03-24 $52.24
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings 2001 Edition (Lecture Notes in Computer Science)Abramsky, Samson Paperback 3540419608 / 9783540419600 2001-04-20 $52.24
Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science)Hofmann, Martin Paperback 3540403329 / 9783540403326 2003-05-27 $52.24
Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science)Urzyczyn, Pawel Paperback 3540255931 / 9783540255932 2005-04-07 $52.24
Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science)Ronchi Della Rocca, Simona Paperback 3540732276 / 9783540732273 2007-06-15 $52.24
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne 1993 Edition (Research Notes in Neural Computing)Bezem, Marc Paperback 3540565175 / 9783540565178 1993-03-03 $52.24
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, 1995 Edition (Lecture Notes in Computer Science)Dezani-Ciancaglini, Mariangiola Paperback 354059048X / 9783540590484 1995-03-17 $52.24
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 19 1997 Edition (Lecture Notes in Physics)Groote, Philippe De Paperback 3540626883 / 9783540626886 1997-03-12 $52.24
Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers 1996 Edition (Lecture Notes in Computer Science,)Berardi, Stefano Paperback 3540617809 / 9783540617808 1996-10-02 $52.24
ULTRA HARD SUDOKU VARIETY vol. 1: 9x9, 10x10, 12x12, 15x15 and 16x16 + Jigsaw Version (300 Puzzles) Sensei, Doku Paperback 9798649604734 2020-05-29 $6.89