|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Transactions on Rough Sets XII 2010 Edition (Lecture Notes in Computer Science / Transactions on Rough Se) | Peters, James F. | Paperback | 3642144667 /
9783642144660 | 07/2010 | $52.24 |
|  | Transition to Advanced Mathematics | Diedrichs, Danilo R. | Hardcover | 0367494442 /
9780367494445 | 05/2022 | $109.25 |
|  | Transition to Analysis with Proof (Textbooks in Mathematics) | Krantz, Steven G. | Paperback | 1138064068 /
9781138064065 | 11/2017 | $95.00 |
|  | Transition to Proofs | Rubinstein-Salzedo, Simon | Hardcover | 9811272085 /
9789811272080 | 09/2023 | $112.10 |
|  | Transition to Proofs | Rubinstein-Salzedo, Simon | Paperback | 9811272328 /
9789811272325 | 09/2023 | $45.60 |
|  | Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science) (German) | Granström, Johan Georg | Hardcover | 9400717350 /
9789400717350 | 06/2011 | $151.99 |
|  | Treatise on Intuitionistic Type Theory 2011 Edition (Logic, Epistemology, and the Unity of Science) (German) | Granstrom, Johan Georg | Paperback | 9400736398 /
9789400736399 | 08/2013 | $151.99 |
|  | Tree Lattices Softcover Repri Edition (Progress in Mathematics) | Bass, H. | Paperback | 1461274133 /
9781461274131 | 09/2011 | $52.24 |
|  | Tree Lattices 2001 Edition (Progress in Mathematics) | Bass, H. | Hardcover | 0817641203 /
9780817641207 | 11/2000 | $94.05 |
|  | Trends in Belief Revision and Argumentation Dynamics (Studies in Logic) | Ferme, Eduardo L. | Paperback | 1848900651 /
9781848900653 | 12/2013 | $23.28 |
|  | Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta (Portuguese) | Gracher, Kherian | Paperback | 1848903928 /
9781848903920 | 02/2022 | $25.65 |
|  | Truth and Assertibility | Weaver, Nik | Hardcover | 9814619957 /
9789814619950 | 05/2015 | $93.10 |
|  | Truth and Knowledge | Schlechta, Karl | Paperback | 1848904037 /
9781848904033 | 05/2022 | $16.63 |
|  | Truth in Mathematics (Oxford Science Publications) | Dales, H. G. | Hardcover | 019851476X /
9780198514763 | 12/1998 | $403.75 |
|  | Turing Machines with Sublogarithmic Space 1994 Edition (Ernst Schering Research Foundation Workshops) | Szepietowski, Andrzej | Paperback | 3540583556 /
9783540583554 | 08/1994 | $52.24 |
|  | Turing's Legacy: Developments from Turing's Ideas in Logic (Lecture Notes in Logic) | Downey, Rod | Hardcover | 1107043484 /
9781107043480 | 09/2014 | $171.00 |
|  | Turing's Revolution: The Impact of His Ideas about Computability 2015 Edition | Sommaruga, Giovanni | Hardcover | 3319221558 /
9783319221557 | 01/2016 | $123.49 |
|  | Turing's World 3.0 for Mac: An Introduction to Computability Theory Macintosh Versi Edition | Barwise, Jon | Paperback | 1881526100 /
9781881526100 | 07/1993 | $22.72 |
|  | Twenty Years of a New Kind of Science | Wolfram, Stephen | Hardcover | 1579550495 /
9781579550493 | 03/2023 | $40.46 |
|  | Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 | Sambin, Giovanni | Hardcover | 0198501277 /
9780198501275 | 12/1998 | $114.00 |
|  | Two Applications of Logic to Mathematics | Takeuti, Gaisi | Paperback | 0691610223 /
9780691610221 | 03/2015 | $33.25 |
|  | Two Applications of Logic to Mathematics | Takeuti, Gaisi | Hardcover | 0691638373 /
9780691638379 | 04/2016 | $82.65 |
|  | Type Systems for Distributed Programs: Components and Sessions 2016 Edition (Atlantis Studies in Computing) | Dardha, Ornela | Hardcover | 946239203X /
9789462392038 | 08/2016 | $103.55 |
|  | Typed Lambda Calculi and Applications 2009 Edition (Lecture Notes in Computer Science) | Curien, Pierre-Louis | Paperback | 3642022723 /
9783642022722 | 06/2009 | $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 | 06/2013 | $68.40 |
|
|
|
