Modern mathematical logic /Author: Mileti, Joseph,
Publisher: Cambridge : Cambridge University Press,
Date: 2023. This title can be found in 1 Iowa libraries.
Mathematical logic and computation /Author: Avigad, Jeremy,
Publisher: Cambridge, United Kingdom : Cambridge University Press,
Date: 2023. This title can be found in 1 Iowa libraries.
Extensions of the axion of determinacy /Author: Larson, Paul B.
Publisher: Providence, Rhode Island : American Mathematical Society,
Date: [2023] This title can be found in 1 Iowa libraries.
Tractatus logico-philosophicus = Logical-philosophical treatise /Author: Wittgenstein, Ludwig,
Publisher: London : Penguin Books,
Date: 2023. This title can be found in 2 Iowa libraries.
Higher-order logic and type theory /Author: Bell, J. L.
Publisher: Cambridge : Cambridge University Press,
Date: 2022. This title can be found in 1 Iowa libraries.
Mathematical logic through Python /Author: Gonczarowski, Yannai A.,
Publisher: Cambridge, United Kingdom ; Cambridge University Press,
Date: [2022] This title can be found in 1 Iowa libraries.
Paraconsistency in mathematics /Author: Weber, Zach,
Publisher: Cambridge, United Kingdom : Cambridge University Press,
Date: 2022. This title can be found in 1 Iowa libraries.
Journey to the edge of reason : the life of Kurt Gödel /Author: Budiansky, Stephen,
Publisher: New York : W.W. Norton & Company,
Date: [2021] This title can be found in 7 Iowa libraries.
Law and logic - making legal science a genuine science : proceedings of the special workshop held at the 28th World Congress of the International Association for Philosophy of Law and Social Philosophy in Lisbon, Portugal, 2017 /Publisher: Stuttgart : Franz Steiner Verlag,
Date: [2021] This title can be found in 1 Iowa libraries.
Algebra, logic and number theory : proceedings of the 5th Joint Conferences on Algebra, Logic and Number Theory, June 24-29, 2018, Będlewo /Publisher: Warszawa : Institute of Mathematics, Polish Academy of Sciences,
Date: 2020. This title can be found in 1 Iowa libraries.
Fuzzy logic theory and applications : Part I and Part II /Author: Zadeh, Lotfi A.
Publisher: New Jersey : World Scientific,
Date: [2019] This title can be found in 1 Iowa libraries.
Proceedings of the 14th And 15th Asian Logic Conferences /Publisher: Singapore ; World Scientific Publishing Co. Pte. Ltd.,
Date: [2019] This title can be found in 1 Iowa libraries.
Justification logic : reasoning with reasons /Author: Artemov, S. N.
Publisher: Cambridge ; Cambridge University Press,
Date: 2019. This title can be found in 2 Iowa libraries.
An invitation to applied category theory : seven sketches in compositionality /Author: Fong, Brendan,
Publisher: Cambridge ; Cambridge University Press,
Date: 2019. This title can be found in 1 Iowa libraries.
A first journey through logic /Author: Hils, Martin,
Publisher: Providence, Rhode Island : American Mathematical Society,
Date: [2019] This title can be found in 2 Iowa libraries.
Naturalizing logico-mathematical knowledge : perspectives from philosophy, psychology, and cognitive science /Publisher: New York : Routledge,
Date: 2018. This title can be found in 1 Iowa libraries.
Teaching with mathematical argument : strategies for supporting everyday instruction /Author: Stylianou, Despina A.,
Publisher: Portsmouth, NH : Heinemann,
Date: [2018] This title can be found in 1 Iowa libraries.
Model theory and the philosophy of mathematical practice : formalization without foundationalism /Author: Baldwin, John T.,
Publisher: Cambridge, United Kingdom : Cambridge University Press,
Date: 2018. This title can be found in 1 Iowa libraries.
Probabilistic knowledge /Author: Moss, Sarah,
Publisher: Oxford, United Kingdom : Oxford University Press,
Date: 2018. This title can be found in 2 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.