本文に飛ぶ

年 〜
年

検索結果 645 件

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
紙図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
国立国会図書館
  • LCCQA9

Graph structure and monadic second-order logic : a language-theoretic approach (Encyclopedia of mathematics and its applications ; 138)

Graph structure and monadic second-order logic : a language-theoretic approach (Encyclopedia of mathematics and its applications ; 138)
紙図書
Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>
国立国会図書館全国の図書館
  • LCCQA9

Mathematical foundations of information sciences : pbk

Mathematical foundations of information sciences : pbk
紙図書
Esfandiar Haghverdi, Indiana University Bloomington, USA, Liugen Zhu, Indiana University Bloomington, USAWorld Scientific[2024]
全国の図書館
  • LCCQA9

Mathematical logic : on numbers, sets, structures, and symmetry : [hardback] 2nd ed

Mathematical logic : on numbers, sets, structures, and symmetry : [hardback] 2nd ed
紙図書
Roman KossakSpringerc2024
全国の図書館
  • LCCQA9

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.
紙図書
Oxford University Press2010.<MA41-B31>
国立国会図書館
  • LCCQA9

Introduction to mathematics : number, space, and structure : pbk

Introduction to mathematics : number, space, and structure : pbk
紙図書
Scott A. Taylor ; illustrations by Michael ScholzAmerican Mathematical Societyc2023
全国の図書館
  • LCCQA9

Mathematical logic and computation

Mathematical logic and computation
紙図書
Jeremy AvigadCambridge University Press2023
全国の図書館
  • LCCQA9

Mathematical logic through Python : pbk

Mathematical logic through Python : pbk
紙図書
Yannai A. Gonczarowski, Noam NisanCambridge University Press2022
全国の図書館
  • LCCQA9

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
紙図書
Peter G. HinmanCRC Press2020, c2005
全国の図書館
  • LCCQA9

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)
紙図書
Springerc2007-<MA41-B22>
国立国会図書館
  • LCCQA9

The art of logic in an illogical world : pbk

The art of logic in an illogical world : pbk
紙図書
Eugenia ChengBasic Booksc2020
全国の図書館
  • LCCQA9

Contemporary logic and computing : pbk

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

An elementary transition to abstract mathematics : hardback

An elementary transition to abstract mathematics : hardback
紙図書
Gove Effinger, Gary L. MullenCRC Pressc2020
全国の図書館
  • LCCQA9

The method of mathematical induction . Induction in geometry : [pbk.]

The method of mathematical induction . Induction in geometry : [pbk.]
紙図書
I.S. Sominskii . L.I. Golovina and I.M. YaglomDover Publications2019
全国の図書館
  • LCCQA9

Advances in experimental philosophy of logic and mathematics : hbk

Advances in experimental philosophy of logic and mathematics : hbk
紙図書
edited by Andrew Aberdein and Matthew InglisBloomsbury Academic2019
全国の図書館
  • LCCQA9

Logic in Wonderland : an introduction to logic through reading Alice's adventures in Wonderland teacher's guidebook

Logic in Wonderland : an introduction to logic through reading Alice's adventures in Wonderland teacher's guidebook
紙図書
Nitsa Movshovitz-Hadar, Atara ShrikiWS Educationc2019
全国の図書館
  • LCCQA9

A first course in logic : hardback

A first course in logic : hardback
紙図書
Mark V. LawsonCRC Pressc2019
全国の図書館
  • LCCQA9

Logic as algebra

Logic as algebra
紙図書
Paul Halmos, Steven GivantAmerican Mathematical Society2019
全国の図書館
  • LCCQA9

How to prove it : a structured approach : pbk 3rd ed

How to prove it : a structured approach : pbk 3rd ed
紙図書
Daniel J. VellemanCambridge University Press2019
全国の図書館
  • LCCQA9

More precisely : the math you need to do philosophy 2nd ed

More precisely : the math you need to do philosophy 2nd ed
紙図書
Eric SteinhartBroadview Pressc2018
全国の図書館
  • LCCQA9
RSS