年 〜
年

検索結果 115 件

The girl who wanted to fly

The girl who wanted to fly
紙図書児童書
L. Rivlin.College Publicationsc2009.<Y8-B11436>
国立国会図書館

A Lambda calculus satellite

A Lambda calculus satellite
紙図書
Henk Barendregt, Giulio ManzonettoCollege Publicationsc2022
全国の図書館

A Lambda calculus satellite : pbk.

A Lambda calculus satellite : pbk.
紙図書
Henk Barendregt, Giulio ManzonettoCollege Publicationsc2022
全国の図書館

Advances in modal logic v. 14 : pbk.

Advances in modal logic v. 14 : pbk.
紙図書
edited by David Fernández-Duque ... [et al.]College Publicationsc2022
全国の図書館

Essays on set theory : pbk

Essays on set theory : pbk
紙図書
Akihiro KanamoriCollege Publicationsc2021
全国の図書館

Model theory for beginners : 15 lectures

Model theory for beginners : 15 lectures
紙図書
Roman KossakCollege Publicationsc2021
全国の図書館

Kreisel's interests : on the foundations of logic and mathematics

Kreisel's interests : on the foundations of logic and mathematics
紙図書
edited by Paul Weingartner, Hans-Peter LeebCollege Publicationsc2020
全国の図書館

Advances in modal logic v. 13 : pbk

Advances in modal logic v. 13 : pbk
紙図書
edited by Nicola Olivetti ... [et al.]College Publicationsc2020
全国の図書館

Contemporary logic and computing : pbk

Contemporary logic and computing : pbk
紙図書
edited by Adrian RezuşCollege Publicationsc2020
全国の図書館

Logics of proofs and justifications

Logics of proofs and justifications
紙図書
Roman Kuznets and Thomas StuderCollege Publicationsc2019
全国の図書館

The algebra of intensional logics

The algebra of intensional logics
紙図書
J. Michael Dunn ; with an introductory essay by Katalin BimbóCollege Publicationsc2019
全国の図書館

Introduction to deontic logic and the theory of normative systems

Introduction to deontic logic and the theory of normative systems
紙図書
Xavier Parent, Leendert van der TorreCollege Publicationsc2018
全国の図書館

Measuring inconsistency in information : [pbk.]

Measuring inconsistency in information : [pbk.]
紙図書
edited by John Grant and Maria Vanina MartinezCollege Publicationsc2018
全国の図書館

Deontic logic and normative systems : 14th international conference, DEON 2016, Utrecht, The Netherlands, 3-6 July, 2018

Deontic logic and normative systems : 14th international conference, DEON 2016, Utrecht, The Netherlands, 3-6 July, 2018
紙図書
edited by Jan Broersen ... [et all.] (eds.)College Publicationsc2018
全国の図書館

Logic, philosophy of mathematics and their history : essays in honor of W.W. Tait

Logic, philosophy of mathematics and their history : essays in honor of W.W. Tait
紙図書
edited by Erich H. ReckCollege Publicationsc2018
全国の図書館

Abstract algebraic logic : an introductory textbook

Abstract algebraic logic : an introductory textbook
紙図書
Josep Maria FontCollege Publicationsc2016
全国の図書館

Deontic logic and normative systems : 13th international conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 : pbk

Deontic logic and normative systems : 13th international conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 : pbk
紙図書
edited by Olivier Roy, Allard Tamminga and Malte WillerCollege Publicationsc2016
全国の図書館

Logical concepts in legal positivism : legal norms from a philosophical perspective

Logical concepts in legal positivism : legal norms from a philosophical perspective
紙図書
Juliele Maria SieversCollege Publicationsc2016
全国の図書館

Liber amicorum alberti : a tribute to albert visser

Liber amicorum alberti : a tribute to albert visser
紙図書
edited by Jan van Eijck, Rosalie Iemhoff and Joost J. JoostenCollege Publicationsc2016
全国の図書館

The Logica yearbook 2015

The Logica yearbook 2015
紙図書
edited by Pavel Arazim, Michal DančákCollege Publicationsc2016
全国の図書館