6,797円 Parabola is a mathematics magazine published by UNSW, Sydney. Among other things, each issue of Parabola has contained a collection of puzzles/problems, on various mathematical topics and at a suitable level for younger (but mathematically sophisticated) readers. Parabolic Problems: 60 Years of M...

3,179円 Zu seinen Lebzeiten war Kurt Gödel außerhalb der Fachwelt der Mathematiker, Philosophen und theoretischen Physiker kaum bekannt. Zu Beginn seiner Karriere schuf er beeindruckende Arbeiten zur Vollständigkeit und Beweisbarkeit formaler logischer Systeme, die zu seiner Dissertation und seiner Habil...

1,548円 讓20****萬徳國人想破腦袋、週週敲碗的解謎大挑戰， 歡樂登場！ 燒腦謎題100****道， 以日常生活中完全沒有過的方式使用你的腦袋， 為僵硬的腦袋舒筋活血！ 三個邏輯學家走進酒吧，酒保問：「每個人都來杯啤酒嗎？」 「我不知道。」第一個人說。 「我也不知道。」第二個人說。 最後，第三個邏輯學家說：「好的！」 酒保...

4,230円 This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logi...

2,248円 **“A brilliant collection of puzzles. Never has getting the answer wrong felt so good!”ーG. T. Karber, author of Murdle Most people get these puzzles wrong. Will you beat the odds?** From mathy mind-benders to eye-fooling illusions, here are 70 perplexing puzzles of every kind. But they all have ...

24,309円 This volume comprises selected contributions by the participants of the second "Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods" conference, which took place at the University of Almería, Spain, in July 2022. The conference was devoted to several seemingly unrelated ...

0円 The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully revie...

8,507円 In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book will fill that gap. While there is more material tha...

496円 Introduction to the 100 Somethings Language Learning Series Welcome to an innovative approach to language learning! This series of books is crafted to help you master a new language (Spanish) through engaging with topics that captivate your interest (Logical Reasoning). Each book is centered arou...

661円 Book Overview: "Secrets to Solving Multiple Choice Questions in Competitive Exams" "Secrets to Solving Multiple Choice Questions in Competitive Exams" by Budhi Sagar Tools offers a comprehensive guide designed to empower students to excel in competitive exams. This book presents essential strateg...

0円 This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representation...

9,116円 This book constitutes the refereed proceedings of the International Conference on Brain Inspired Cognitive Systems, BICS 2023, held in Kuala Lumpur, Malaysia, in August 2023. The 36 full papers included in this book were reviewed and selected from 58 submissions and are organized in thematic sect...