Trends in logic : studia logica library

• • Wójcicki, Ryszard
• • Hájek, Petr

• 関連文献: 61件

• • Wójcicki, Ryszard
• • Hájek, Petr

Trends in logic : studia logica library

Kluwer Academic Publishers, c1997-

• WorldCat

Managing editor, Ryszard Wójcicki ; editors, Petr Hájek ... [et al.]

Publisher varies: Springer

関連文献: 61件中  1-20を表示

• 1

  Inquisitive logic : consequence and inference in the realm of questions

  Ivano Ciardelli

  Springer c2022 Trends in logic : studia logica library v. 60

  : [hbk]

  所蔵館1館

• 2

  The logical writings of Karl Popper

  David Binder, Thomas Piecha, Peter Schroeder-Heister, editors

  Springer c2022 Trends in logic : studia logica library v. 58

  : pbk

  所蔵館1館

• 3

  Logics of variable inclusion

  Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

  Springer c2022 Trends in logic : studia logica library v. 59

  所蔵館1館

• 4

  Logic in high definition : trends in logical semantics

  Alessandro Giordani, Jacek Malinowski, editors

  Springer c2021 Trends in logic : studia logica library v. 56

  : [pbk.]

  所蔵館1館

• 5

  Logic and Implication : an introduction to the general algebraic study of non-classical logics

  Petr Cintula, Carles Noguera

  Trends in logic : studia logica library v.57

  hbk.

  所蔵館4館

• 6

  Logic in high definition : trends in logical semantics

  Alessandro Giordani, Jacek Malinowski, editors

  Springer c2021 Trends in logic : studia logica library v. 56

  所蔵館1館

• 7

  Algebraic perspectives on substructural logics

  Davide Fazio, Antonio Ledda, Francesco Paoli, editors

  Springer c2021 Trends in logic : studia logica library v. 55

  所蔵館4館

• 8

  Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

  Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors

  Springer c2020 Trends in logic : studia logica library v. 53

  所蔵館1館

• 9

  Foundations of the theory of parthood : a study of Mereology

  Andrzej Pietruszczak

  Springer 2020 Trends in logic : studia logica library v. 54

  所蔵館1館

• 10

  Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

  Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors

  Springer c2020 Trends in logic : studia logica library v. 53

  : hardback

  所蔵館3館

• 11

  Heyting algebras : duality theory

  Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton Evseev

  Springer c2019 Trends in logic : studia logica library v. 50

  所蔵館3館

• 12

  A model-theoretic approach to proof theory

  Henryk Kotlarski, author ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski

  Springer c2019 Trends in logic : studia logica library v. 51

  所蔵館4館

• 13

  Heyting algebras : duality theory

  Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton Evseev

  Springer c2019 Trends in logic : studia logica library v. 50

  hardcover

  所蔵館3館

• 14

  Quantum computation and logic : how quantum computers have inspired logical investigations

  Maria Luisa Dalla Chiara ... [et al.]

  Springer c2018 Trends in logic : studia logica library v. 48

  所蔵館1館

• 15

  Descriptor revision : belief change through direct choice

  Sven Ove Hansson

  Springer c2017 Trends in logic : studia logica library v. 46

  所蔵館1館

• 16

  Toward predicate approaches to modality

  Johannes Stern

  Springer c2016 Trends in logic : studia logica library v. 44

  所蔵館2館

• 17

  Logical studies of paraconsistent reasoning in science and mathematics

  Holger Andreas, Peter Verdée, editors.

  Springer c2016 Trends in logic : studia logica library v. 45

  所蔵館3館

• 18

  Advances in proof-theoretic semantics

  Thomas Piecha, Peter Schroeder-Heister, editors

  Springer c2016 Trends in logic : studia logica library 43

  所蔵館2館

• 19

  Logics and falsifications : a new perspective on constructivist semantics

  Andreas Kapsner

  Springer c2014 Trends in logic : studia logica library v. 40

  所蔵館3館

• 20

  Advances in natural deduction : a celebration in Dag Prawitz's work

  Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors

  Springer c2014 Trends in logic : studia logica library v. 39

  所蔵館4館

• 1
• 2
• 3
• 4
• 1 / 4