Sign-In
CartResults
Filters
Sort by
$181.25
{"Id":1793332,"Title":"Positive Topology: A New Practice in Constructive Mathematics","Authors":["Sambin, Giovanni"],"ShortTitle":"Positive Topology: A New Practice in Constructive Mathematics","Author":"Sambin, Giovanni","Ean":"9780199232888","Isbn":"0199232881","Publisher":"Oxford University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[8356777],"CategoryIds":[594,898,1027],"FormatId":1,"FamilyId":9142386,"SeriesId":27035,"LanguageId":56,"PriceMin":181.25,"PriceMax":181.25,"Desirability":12,"PublicationDate":"2026-01-23T00:00:00","Join":null}
$174.00
{"Id":1782693,"Title":"Arithmetic, Proof Theory, and Computational Complexity","Authors":["Clote","Krajicek","Clote, Peter"],"ShortTitle":"Arithmetic, Proof Theory, and Computational Complexity","Author":"Clote","Ean":"9780198536901","Isbn":"0198536909","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[6469889,12719871,12720130],"CategoryIds":[151,898],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":174.0,"PriceMax":174.0,"Desirability":2,"PublicationDate":"1993-06-10T00:00:00","Join":null}
Introduction to Logic and to the Methodology of the Deductive Sciences
Tarski, Alfred
Tarski, Jan
Hardcover
$600.00
{"Id":1760583,"Title":"Introduction to Logic and to the Methodology of the Deductive Sciences","Authors":["Tarski, Alfred","Tarski, Jan"],"ShortTitle":"Introduction to Logic and to the Methodology of the Deductive Sciences","Author":"Tarski, Alfred","Ean":"9780195044720","Isbn":"019504472X","Publisher":"Oxford University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[643140,5898880],"CategoryIds":[151,915,1027],"FormatId":1,"FamilyId":3684701,"SeriesId":27035,"LanguageId":56,"PriceMin":600.0,"PriceMax":600.0,"Desirability":1,"PublicationDate":"1994-01-06T00:00:00","Join":null}
$637.50
{"Id":1761030,"Title":"Godel\u0027s Incompleteness Theorems","Authors":["Smullyan, Raymond M."],"ShortTitle":"Godel\u0027s Incompleteness Theorems","Author":"Smullyan, Raymond M.","Ean":"9780195046724","Isbn":"0195046722","Publisher":"Oxford University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[559317],"CategoryIds":[151,877,1027],"FormatId":1,"FamilyId":3951280,"SeriesId":27035,"LanguageId":56,"PriceMin":637.5,"PriceMax":637.5,"Desirability":1,"PublicationDate":"1992-08-20T00:00:00","Join":null}
$397.50
{"Id":1761774,"Title":"Recursion Theory for Metamathematics","Authors":["Smullyan, Raymond M."],"ShortTitle":"Recursion Theory for Metamathematics","Author":"Smullyan, Raymond M.","Ean":"9780195082326","Isbn":"019508232X","Publisher":"Oxford University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[559317],"CategoryIds":[151,877,1027],"FormatId":1,"FamilyId":11756682,"SeriesId":27035,"LanguageId":56,"PriceMin":397.5,"PriceMax":397.5,"Desirability":1,"PublicationDate":"1993-01-28T00:00:00","Join":null}
$113.10
{"Id":1778637,"Title":"Foundations Without Foundationalism: A Case for Second-Order Logic","Authors":["Shapiro, Stewart"],"ShortTitle":"Foundations Without Foundationalism: A Case for Second-Order Logic","Author":"Shapiro, Stewart","Ean":"9780198250296","Isbn":"0198250290","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[641471],"CategoryIds":[151,1027],"FormatId":2,"FamilyId":3612631,"SeriesId":27035,"LanguageId":56,"PriceMin":113.1,"PriceMax":113.1,"Desirability":1,"PublicationDate":"2000-05-18T00:00:00","Join":null}
$246.50
{"Id":1781297,"Title":"Fibring Logics","Authors":["Gabbay, Dov M."],"ShortTitle":"Fibring Logics","Author":"Gabbay, Dov M.","Ean":"9780198503811","Isbn":"0198503814","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658436],"CategoryIds":[151,489,877],"FormatId":1,"FamilyId":11327026,"SeriesId":27035,"LanguageId":56,"PriceMin":246.5,"PriceMax":246.5,"Desirability":1,"PublicationDate":"1998-12-24T00:00:00","Join":null}
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Sambin, Giovanni
Smith, Jan
Hardcover
$188.50
{"Id":1781334,"Title":"Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995","Authors":["Sambin, Giovanni","Smith, Jan"],"ShortTitle":"Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress\u2026","Author":"Sambin, Giovanni","Ean":"9780198501275","Isbn":"0198501277","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658158,468906],"CategoryIds":[151,877],"FormatId":1,"FamilyId":12292634,"SeriesId":27035,"LanguageId":56,"PriceMin":188.5,"PriceMax":188.5,"Desirability":1,"PublicationDate":"1998-12-10T00:00:00","Join":null}
Interpolation and Definability: Modal and Intuitionistic Logic
Gabbay, Dov M.
Maksimova, Larisa
Hardcover
$369.75
{"Id":1781530,"Title":"Interpolation and Definability: Modal and Intuitionistic Logic","Authors":["Gabbay, Dov M.","Maksimova, Larisa"],"ShortTitle":"Interpolation and Definability: Modal and Intuitionistic Logic","Author":"Gabbay, Dov M.","Ean":"9780198511748","Isbn":"0198511744","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658866,8797599],"CategoryIds":[151],"FormatId":1,"FamilyId":12280654,"SeriesId":27035,"LanguageId":56,"PriceMin":369.75,"PriceMax":369.75,"Desirability":1,"PublicationDate":"2005-07-28T00:00:00","Join":null}
$282.75
{"Id":1781638,"Title":"Elementary Categories, Elementary Toposes","Authors":["McLarty, Colin"],"ShortTitle":"Elementary Categories, Elementary Toposes","Author":"McLarty, Colin","Ean":"9780198514732","Isbn":"0198514735","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[659290],"CategoryIds":[151,877,1027],"FormatId":2,"FamilyId":114500,"SeriesId":27035,"LanguageId":56,"PriceMin":282.75,"PriceMax":282.75,"Desirability":1,"PublicationDate":"1996-02-01T00:00:00","Join":null}
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
Pym, David J.
Ritter, Eike
Hardcover
$326.25
{"Id":1781982,"Title":"Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control","Authors":["Pym, David J.","Ritter, Eike"],"ShortTitle":"Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control","Author":"Pym, David J.","Ean":"9780198526339","Isbn":"0198526334","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[659957,8793410],"CategoryIds":[151],"FormatId":1,"FamilyId":12589386,"SeriesId":27035,"LanguageId":56,"PriceMin":326.25,"PriceMax":326.25,"Desirability":1,"PublicationDate":"2004-06-17T00:00:00","Join":null}
$275.50
{"Id":1782293,"Title":"Geometric Stability Theory","Authors":["Pillay, Anand"],"ShortTitle":"Geometric Stability Theory","Author":"Pillay, Anand","Ean":"9780198534372","Isbn":"019853437X","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658727],"CategoryIds":[151,594,931],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":275.5,"PriceMax":275.5,"Desirability":1,"PublicationDate":"1996-11-07T00:00:00","Join":null}
$290.00
{"Id":1782806,"Title":"The Structure of Models of Peano Arithmetic","Authors":["Kossak, Roman","Schmerl, James H."],"ShortTitle":"Structure of Models of Peano Arithmetic","Author":"Kossak, Roman","Ean":"9780198568278","Isbn":"0198568274","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[659906,12713254],"CategoryIds":[151],"FormatId":1,"FamilyId":12484067,"SeriesId":27035,"LanguageId":56,"PriceMin":290.0,"PriceMax":290.0,"Desirability":1,"PublicationDate":"2006-09-14T00:00:00","Join":null}
$514.75
{"Id":1782840,"Title":"Modal Logic","Authors":["Zakharyaschev, Michael","Chagrov, Zakharyaschev","Chagrov, Alexander"],"ShortTitle":"Modal Logic","Author":"Zakharyaschev, Michael","Ean":"9780198537793","Isbn":"0198537794","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[8780006,11739105,12713108],"CategoryIds":[151,877,1027],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":514.75,"PriceMax":514.75,"Desirability":1,"PublicationDate":"1997-06-19T00:00:00","Join":null}
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
Crosilla, Laura
Schuster, Peter
Hardcover
$391.50
{"Id":1782872,"Title":"From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics","Authors":["Crosilla, Laura","Schuster, Peter"],"ShortTitle":"From Sets and Types to Topology and Analysis: Towards Practicable\u2026","Author":"Crosilla, Laura","Ean":"9780198566519","Isbn":"0198566514","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[659719,1555291],"CategoryIds":[151],"FormatId":1,"FamilyId":12044902,"SeriesId":27035,"LanguageId":56,"PriceMin":391.5,"PriceMax":391.5,"Desirability":1,"PublicationDate":"2005-12-08T00:00:00","Join":null}
$500.25
{"Id":1782875,"Title":"Cardinal Arithmetic","Authors":["Shelah, Saharon"],"ShortTitle":"Cardinal Arithmetic","Author":"Shelah, Saharon","Ean":"9780198537854","Isbn":"0198537859","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658880],"CategoryIds":[151,898],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":500.25,"PriceMax":500.25,"Desirability":1,"PublicationDate":"1994-12-29T00:00:00","Join":null}
$261.00
{"Id":1782897,"Title":"Many-Valued Logics","Authors":["Malinowski, Grzegorz"],"ShortTitle":"Many-Valued Logics","Author":"Malinowski, Grzegorz","Ean":"9780198537878","Isbn":"0198537875","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658885],"CategoryIds":[151,898,1027],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":261.0,"PriceMax":261.0,"Desirability":1,"PublicationDate":"1994-01-27T00:00:00","Join":null}
$174.00
{"Id":1782999,"Title":"Labelled Deductive Systems: Volume 1","Authors":["Gabbay, Dov M."],"ShortTitle":"Labelled Deductive Systems: Volume 1","Author":"Gabbay, Dov M.","Ean":"9780198538332","Isbn":"0198538332","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658856],"CategoryIds":[151,594,1027],"FormatId":1,"FamilyId":3696943,"SeriesId":27035,"LanguageId":56,"PriceMin":174.0,"PriceMax":174.0,"Desirability":1,"PublicationDate":"1996-11-14T00:00:00","Join":null}
Features and Fluents: The Representation of Knowledge about Dynamical Systems Volume 1
Sandewall, Erik
Hardcover
$159.50
{"Id":1783027,"Title":"Features and Fluents: The Representation of Knowledge about Dynamical Systems Volume 1","Authors":["Sandewall, Erik"],"ShortTitle":"Features and Fluents: The Representation of Knowledge about Dynamical\u2026","Author":"Sandewall, Erik","Ean":"9780198538455","Isbn":"0198538456","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[658917],"CategoryIds":[877,1098],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":159.5,"PriceMax":159.5,"Desirability":1,"PublicationDate":"1995-02-09T00:00:00","Join":null}
$384.25
{"Id":1783039,"Title":"Model Theory","Authors":["de Queiroz, Ruy J. G. B.","Manzano, Mariano C."],"ShortTitle":"Model Theory","Author":"de Queiroz, Ruy J. G. B.","Ean":"9780198538516","Isbn":"0198538510","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[8797280,12713921],"CategoryIds":[151,877],"FormatId":1,"FamilyId":null,"SeriesId":27035,"LanguageId":56,"PriceMin":384.25,"PriceMax":384.25,"Desirability":1,"PublicationDate":"1999-07-08T00:00:00","Join":null}