Jump to main content

yr 〜
yr

Search results 116

Advances in modal logic v. 15 : pbk.

Advances in modal logic v. 15 : pbk.
Paper図書
edited by Agata Ciabattoni, David Gabelaia and Igor SedlárCollege Publicationsc2024
Other Libraries in Japan

The girl who wanted to fly

The girl who wanted to fly
Paper図書児童書
L. Rivlin.College Publicationsc2009.<Y8-B11436>
National Diet Library

A Lambda calculus satellite

A Lambda calculus satellite
Paper図書
Henk Barendregt, Giulio ManzonettoCollege Publicationsc2022
Other Libraries in Japan

A Lambda calculus satellite : pbk.

A Lambda calculus satellite : pbk.
Paper図書
Henk Barendregt, Giulio ManzonettoCollege Publicationsc2022
Other Libraries in Japan

Advances in modal logic v. 14 : pbk.

Advances in modal logic v. 14 : pbk.
Paper図書
edited by David Fernández-Duque ... [et al.]College Publicationsc2022
Other Libraries in Japan

Essays on set theory : pbk

Essays on set theory : pbk
Paper図書
Akihiro KanamoriCollege Publicationsc2021
Other Libraries in Japan

Model theory for beginners : 15 lectures

Model theory for beginners : 15 lectures
Paper図書
Roman KossakCollege Publicationsc2021
Other Libraries in Japan

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

Kreisel's interests : on the foundations of logic and mathematics
Paper図書
edited by Paul Weingartner, Hans-Peter LeebCollege Publicationsc2020
Other Libraries in Japan

Advances in modal logic v. 13 : pbk

Advances in modal logic v. 13 : pbk
Paper図書
edited by Nicola Olivetti ... [et al.]College Publicationsc2020
Other Libraries in Japan

Contemporary logic and computing : pbk

Contemporary logic and computing : pbk
Paper図書
edited by Adrian RezuşCollege Publicationsc2020
Other Libraries in Japan

Logics of proofs and justifications

Logics of proofs and justifications
Paper図書
Roman Kuznets and Thomas StuderCollege Publicationsc2019
Other Libraries in Japan

The algebra of intensional logics

The algebra of intensional logics
Paper図書
J. Michael Dunn ; with an introductory essay by Katalin BimbóCollege Publicationsc2019
Other Libraries in Japan

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
Paper図書
edited by Jan Broersen ... [et all.] (eds.)College Publicationsc2018
Other Libraries in Japan

Introduction to deontic logic and the theory of normative systems

Introduction to deontic logic and the theory of normative systems
Paper図書
Xavier Parent, Leendert van der TorreCollege Publicationsc2018
Other Libraries in Japan

Measuring inconsistency in information : [pbk.]

Measuring inconsistency in information : [pbk.]
Paper図書
edited by John Grant and Maria Vanina MartinezCollege Publicationsc2018
Other Libraries in Japan

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
Paper図書
edited by Erich H. ReckCollege Publicationsc2018
Other Libraries in Japan

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
Paper図書
edited by Olivier Roy, Allard Tamminga and Malte WillerCollege Publicationsc2016
Other Libraries in Japan

Abstract algebraic logic : an introductory textbook

Abstract algebraic logic : an introductory textbook
Paper図書
Josep Maria FontCollege Publicationsc2016
Other Libraries in Japan

Liber amicorum alberti : a tribute to albert visser

Liber amicorum alberti : a tribute to albert visser
Paper図書
edited by Jan van Eijck, Rosalie Iemhoff and Joost J. JoostenCollege Publicationsc2016
Other Libraries in Japan

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

Logical concepts in legal positivism : legal norms from a philosophical perspective
Paper図書
Juliele Maria SieversCollege Publicationsc2016
Other Libraries in Japan
RSS