yr 〜
yr

Search results 645

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

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Paper図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
National Diet Library
  • 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)
Paper図書
Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>
National Diet LibraryOther Libraries in Japan
  • LCCQA9

Mathematical foundations of information sciences : pbk

Mathematical foundations of information sciences : pbk
Paper図書
Esfandiar Haghverdi, Indiana University Bloomington, USA, Liugen Zhu, Indiana University Bloomington, USAWorld Scientific[2024]
Other Libraries in Japan
  • LCCQA9

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

Mathematical logic : on numbers, sets, structures, and symmetry : [hardback] 2nd ed
Paper図書
Roman KossakSpringerc2024
Other Libraries in Japan
  • 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.
Paper図書
Oxford University Press2010.<MA41-B31>
National Diet Library
  • LCCQA9

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

Introduction to mathematics : number, space, and structure : pbk
Paper図書
Scott A. Taylor ; illustrations by Michael ScholzAmerican Mathematical Societyc2023
Other Libraries in Japan
  • LCCQA9

Mathematical logic and computation

Mathematical logic and computation
Paper図書
Jeremy AvigadCambridge University Press2023
Other Libraries in Japan
  • LCCQA9

Mathematical logic through Python : pbk

Mathematical logic through Python : pbk
Paper図書
Yannai A. Gonczarowski, Noam NisanCambridge University Press2022
Other Libraries in Japan
  • LCCQA9

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
Paper図書
Peter G. HinmanCRC Press2020, c2005
Other Libraries in Japan
  • 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)
Paper図書
Springerc2007-<MA41-B22>
National Diet Library
  • LCCQA9

The art of logic in an illogical world : pbk

The art of logic in an illogical world : pbk
Paper図書
Eugenia ChengBasic Booksc2020
Other Libraries in Japan
  • LCCQA9

Contemporary logic and computing : pbk

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

An elementary transition to abstract mathematics : hardback

An elementary transition to abstract mathematics : hardback
Paper図書
Gove Effinger, Gary L. MullenCRC Pressc2020
Other Libraries in Japan
  • LCCQA9

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

The method of mathematical induction . Induction in geometry : [pbk.]
Paper図書
I.S. Sominskii . L.I. Golovina and I.M. YaglomDover Publications2019
Other Libraries in Japan
  • LCCQA9

Advances in experimental philosophy of logic and mathematics : hbk

Advances in experimental philosophy of logic and mathematics : hbk
Paper図書
edited by Andrew Aberdein and Matthew InglisBloomsbury Academic2019
Other Libraries in Japan
  • 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
Paper図書
Nitsa Movshovitz-Hadar, Atara ShrikiWS Educationc2019
Other Libraries in Japan
  • LCCQA9

A first course in logic : hardback

A first course in logic : hardback
Paper図書
Mark V. LawsonCRC Pressc2019
Other Libraries in Japan
  • LCCQA9

Logic as algebra

Logic as algebra
Paper図書
Paul Halmos, Steven GivantAmerican Mathematical Society2019
Other Libraries in Japan
  • LCCQA9

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

How to prove it : a structured approach : pbk 3rd ed
Paper図書
Daniel J. VellemanCambridge University Press2019
Other Libraries in Japan
  • LCCQA9

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

More precisely : the math you need to do philosophy 2nd ed
Paper図書
Eric SteinhartBroadview Pressc2018
Other Libraries in Japan
  • LCCQA9