Sign-In
CartResults
Filters
Sort by
$199.50
{"Id":2906694,"Title":"Computable Structures and the Hyperarithmetical Hierarchy: Volume 144","Authors":["Ash, C. J.","Knight, J."],"ShortTitle":"Computable Structures and the Hyperarithmetical Hierarchy: Volume 144","Author":"Ash, C. J.","Ean":"9780444500724","Isbn":"0444500723","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1135252,1135255],"CategoryIds":[151,898],"FormatId":1,"FamilyId":12329913,"SeriesId":33892,"LanguageId":56,"PriceMin":199.5,"PriceMax":199.5,"Desirability":3,"PublicationDate":"2000-06-16T00:00:00","Join":null}
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151
Jipsen, Peter
Kowalski, Tomasz
Galatos, Nikolaos
Hardcover
$210.00
{"Id":2908161,"Title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151","Authors":["Jipsen, Peter","Kowalski, Tomasz","Galatos, Nikolaos"],"ShortTitle":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume\u2026","Author":"Jipsen, Peter","Ean":"9780444521415","Isbn":"0444521410","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1135487,1135490,1135484],"CategoryIds":[686,877,898],"FormatId":1,"FamilyId":1431470,"SeriesId":33892,"LanguageId":56,"PriceMin":210.0,"PriceMax":210.0,"Desirability":3,"PublicationDate":"2007-06-05T00:00:00","Join":null}
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers Volume 125
Odifreddi, P.
Paperback
$139.43
{"Id":2910116,"Title":"Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers Volume 125","Authors":["Odifreddi, P."],"ShortTitle":"Classical Recursion Theory: The Theory of Functions and Sets of Natural\u2026","Author":"Odifreddi, P.","Ean":"9780444894830","Isbn":"0444894837","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1135391],"CategoryIds":[151,877],"FormatId":2,"FamilyId":null,"SeriesId":33892,"LanguageId":56,"PriceMin":139.43,"PriceMax":139.43,"Desirability":3,"PublicationDate":"1992-02-04T00:00:00","Join":null}
Constructivism in Mathematics: An Introduction Volume 121
Troelstra, A. S.
Van Dalen, D.
Barwise, J.
Paperback
$75.00
{"Id":2908481,"Title":"Constructivism in Mathematics: An Introduction Volume 121","Authors":["Troelstra, A. S.","Van Dalen, D.","Barwise, J."],"ShortTitle":"Constructivism in Mathematics: An Introduction Volume 121","Author":"Troelstra, A. S.","Ean":"9780444705068","Isbn":"0444705066","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1136088,1136090,1136168],"CategoryIds":[151],"FormatId":2,"FamilyId":79402,"SeriesId":33892,"LanguageId":56,"PriceMin":75.0,"PriceMax":75.0,"Desirability":2,"PublicationDate":"1988-08-01T00:00:00","Join":null}
$255.00
{"Id":2909686,"Title":"Logical Frameworks for Truth and Abstraction: An Axiomatic Study Volume 135","Authors":["Cantini, A."],"ShortTitle":"Logical Frameworks for Truth and Abstraction: An Axiomatic Study Volume 135","Author":"Cantini, A.","Ean":"9780444823069","Isbn":"0444823069","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1136496],"CategoryIds":[151,898],"FormatId":1,"FamilyId":12330369,"SeriesId":33892,"LanguageId":56,"PriceMin":255.0,"PriceMax":255.0,"Desirability":2,"PublicationDate":"1996-03-14T00:00:00","Join":null}
$145.43
{"Id":2906409,"Title":"Rudiments of Calculus: Volume 146","Authors":["Niwinski, D.","Arnold, A."],"ShortTitle":"Rudiments of Calculus: Volume 146","Author":"Niwinski, D.","Ean":"9780444506207","Isbn":"0444506209","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1135920,12714037],"CategoryIds":[877,898],"FormatId":1,"FamilyId":3842079,"SeriesId":33892,"LanguageId":56,"PriceMin":145.43,"PriceMax":145.43,"Desirability":1,"PublicationDate":"2001-02-07T00:00:00","Join":null}
$232.50
{"Id":2906611,"Title":"Tools and Techniques in Modal Logic: Volume 142","Authors":["Kracht, M."],"ShortTitle":"Tools and Techniques in Modal Logic: Volume 142","Author":"Kracht, M.","Ean":"9780444500557","Isbn":"0444500553","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12712457],"CategoryIds":[151,877,898],"FormatId":1,"FamilyId":1887734,"SeriesId":33892,"LanguageId":56,"PriceMin":232.5,"PriceMax":232.5,"Desirability":1,"PublicationDate":"1999-06-17T00:00:00","Join":null}
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
Kurucz, A.
Wolter, F.
Zakharyaschev, M.
Hardcover
$255.00
{"Id":2906907,"Title":"Many-Dimensional Modal Logics: Theory and Applications: Volume 148","Authors":["Kurucz, A.","Wolter, F.","Zakharyaschev, M."],"ShortTitle":"Many-Dimensional Modal Logics: Theory and Applications: Volume 148","Author":"Kurucz, A.","Ean":"9780444508263","Isbn":"0444508260","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1136156,12715274,12714530],"CategoryIds":[898,915,1027],"FormatId":1,"FamilyId":12297363,"SeriesId":33892,"LanguageId":56,"PriceMin":255.0,"PriceMax":255.0,"Desirability":1,"PublicationDate":"2003-10-21T00:00:00","Join":null}
$180.00
{"Id":2907011,"Title":"Categorical Logic and Type Theory: Volume 141","Authors":["Jacobs, B."],"ShortTitle":"Categorical Logic and Type Theory: Volume 141","Author":"Jacobs, B.","Ean":"9780444508539","Isbn":"0444508538","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1136194],"CategoryIds":[686,898,915],"FormatId":2,"FamilyId":12285880,"SeriesId":33892,"LanguageId":56,"PriceMin":180.0,"PriceMax":180.0,"Desirability":1,"PublicationDate":"2001-05-10T00:00:00","Join":null}
$225.00
{"Id":2907604,"Title":"Relation Algebras by Games: Volume 147","Authors":["Hirsch, Robin","Hodkinson, Ian"],"ShortTitle":"Relation Algebras by Games: Volume 147","Author":"Hirsch, Robin","Ean":"9780444509321","Isbn":"0444509321","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10206560,10206580],"CategoryIds":[151,489,898],"FormatId":1,"FamilyId":11581739,"SeriesId":33892,"LanguageId":56,"PriceMin":225.0,"PriceMax":225.0,"Desirability":1,"PublicationDate":"2002-08-15T00:00:00","Join":null}
$247.50
{"Id":2907674,"Title":"Realizability: An Introduction to Its Categorical Side Volume 152","Authors":["Van Oosten, Jaap"],"ShortTitle":"Realizability: An Introduction to Its Categorical Side Volume 152","Author":"Van Oosten, Jaap","Ean":"9780444515841","Isbn":"0444515844","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1134120],"CategoryIds":[686,877],"FormatId":1,"FamilyId":2456120,"SeriesId":33892,"LanguageId":56,"PriceMin":247.5,"PriceMax":247.5,"Desirability":1,"PublicationDate":"2008-04-01T00:00:00","Join":null}
Lectures on the Curry-Howard Isomorphism: Volume 149
Urzyczyn, Pawel
Sørensen, Morten Heine
Hardcover
$225.00
{"Id":2907746,"Title":"Lectures on the Curry-Howard Isomorphism: Volume 149","Authors":["Urzyczyn, Pawel","S\u00F8rensen, Morten Heine"],"ShortTitle":"Lectures on the Curry-Howard Isomorphism: Volume 149","Author":"Urzyczyn, Pawel","Ean":"9780444520777","Isbn":"0444520775","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10167930,12713352],"CategoryIds":[151,877],"FormatId":1,"FamilyId":11873050,"SeriesId":33892,"LanguageId":56,"PriceMin":225.0,"PriceMax":225.0,"Desirability":1,"PublicationDate":"2006-06-01T00:00:00","Join":null}
Quantification in Nonclassical Logic: Volume 153
Gabbay, Dov M.
Shehtman, Valentin
Skvortsov, Dimitrij
Hardcover
$315.00
{"Id":2908071,"Title":"Quantification in Nonclassical Logic: Volume 153","Authors":["Gabbay, Dov M.","Shehtman, Valentin","Skvortsov, Dimitrij"],"ShortTitle":"Quantification in Nonclassical Logic: Volume 153","Author":"Gabbay, Dov M.","Ean":"9780444520128","Isbn":"0444520120","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658436,10164534,6634383],"CategoryIds":[151,877],"FormatId":1,"FamilyId":10546634,"SeriesId":33892,"LanguageId":56,"PriceMin":315.0,"PriceMax":315.0,"Desirability":1,"PublicationDate":"2009-07-01T00:00:00","Join":null}
$375.00
{"Id":2908080,"Title":"Relation Algebras: Volume 150","Authors":["Maddux, Roger Duncan"],"ShortTitle":"Relation Algebras: Volume 150","Author":"Maddux, Roger Duncan","Ean":"9780444520135","Isbn":"0444520139","Publisher":"Elsevier","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1135100],"CategoryIds":[898],"FormatId":1,"FamilyId":11539919,"SeriesId":33892,"LanguageId":56,"PriceMin":375.0,"PriceMax":375.0,"Desirability":1,"PublicationDate":"2006-07-01T00:00:00","Join":null}
$145.43
{"Id":2909323,"Title":"Set Theory an Introduction to Independence Proofs: Volume 102","Authors":["Kunen, K."],"ShortTitle":"Set Theory an Introduction to Independence Proofs: Volume 102","Author":"Kunen, K.","Ean":"9780444868398","Isbn":"0444868399","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1136779],"CategoryIds":[898],"FormatId":1,"FamilyId":2006616,"SeriesId":33892,"LanguageId":56,"PriceMin":145.43,"PriceMax":145.43,"Desirability":1,"PublicationDate":"1983-12-01T00:00:00","Join":null}
$273.00
{"Id":2909477,"Title":"Handbook of Proof Theory: Volume 137","Authors":["Buss, S. R."],"ShortTitle":"Handbook of Proof Theory: Volume 137","Author":"Buss, S. R.","Ean":"9780444898401","Isbn":"0444898409","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1137206],"CategoryIds":[151,877],"FormatId":1,"FamilyId":13504112,"SeriesId":33892,"LanguageId":56,"PriceMin":273.0,"PriceMax":273.0,"Desirability":1,"PublicationDate":"1998-07-09T00:00:00","Join":null}
$276.00
{"Id":2909544,"Title":"Handbook of Computability Theory: Volume 140","Authors":["Griffor, E. R."],"ShortTitle":"Handbook of Computability Theory: Volume 140","Author":"Griffor, E. R.","Ean":"9780444898821","Isbn":"0444898824","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12743053],"CategoryIds":[151,877,898],"FormatId":1,"FamilyId":3844339,"SeriesId":33892,"LanguageId":56,"PriceMin":276.0,"PriceMax":276.0,"Desirability":1,"PublicationDate":"1999-10-01T00:00:00","Join":null}
$181.50
{"Id":2909713,"Title":"Language in Action: Categories, Lambdas and Dynamic Logic Volume 130","Authors":["Van Benthem, J."],"ShortTitle":"Language in Action: Categories, Lambdas and Dynamic Logic Volume 130","Author":"Van Benthem, J.","Ean":"9780444890009","Isbn":"0444890009","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[772857],"CategoryIds":[592,877],"FormatId":1,"FamilyId":11582061,"SeriesId":33892,"LanguageId":56,"PriceMin":181.5,"PriceMax":181.5,"Desirability":1,"PublicationDate":"1991-02-12T00:00:00","Join":null}
$273.00
{"Id":2910143,"Title":"Admissibility of Logical Inference Rules: Volume 136","Authors":["Rybakov, V. V."],"ShortTitle":"Admissibility of Logical Inference Rules: Volume 136","Author":"Rybakov, V. V.","Ean":"9780444895059","Isbn":"0444895051","Publisher":"North-Holland","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12747194],"CategoryIds":[151,877,898],"FormatId":1,"FamilyId":12067946,"SeriesId":33892,"LanguageId":56,"PriceMin":273.0,"PriceMax":273.0,"Desirability":1,"PublicationDate":"1997-03-14T00:00:00","Join":null}
$337.50
{"Id":2908323,"Title":"Constructivism in Mathematics, Vol 1: Volume 121","Authors":["Van Dalen, D.","Troelstra, A. S."],"ShortTitle":"Constructivism in Mathematics, Vol 1: Volume 121","Author":"Van Dalen, D.","Ean":"9780444702661","Isbn":"0444702660","Publisher":"Elsevier Science","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1136090,1136088],"CategoryIds":[151,635,877],"FormatId":1,"FamilyId":4485126,"SeriesId":33892,"LanguageId":56,"PriceMin":337.5,"PriceMax":337.5,"Desirability":0,"PublicationDate":"1988-07-01T00:00:00","Join":null}