Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Descartes' Error

Emotion, Reason, and the Human Brain

by Antonio Damasio ...

**"An ambitious and meticulous foray into the nature of being." -- The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain ... Read more

PHP729.49

**"An ambitious and meticulous foray into the nature of being." -- The Boston GlobeA landmark exploration of the relationship between emotion and reason**Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain
... Read more
How to Bake Pi

An Edible Exploration of the Mathematics of Mathematics

by Eugenia Cheng ...

**One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen  ****“Whimsical…rigorous and insightful.” —**New York TimesWhat is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, ... Read more

PHP640.29

**One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen  ****“Whimsical…rigorous and insightful.” —**New York TimesWhat is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered,
... Read more
すぐにわかる経済数学１：論理

by 大西一弘 ...

Series Book 1 - すぐにわかる経済数学
本書は，経済学博士（大阪大学）による経済学及び経営学を学ぶために必要な数学の入門テキストの第１巻です。現在，経済学あるいは経営学を勉強している，あるいはこれから勉強しようと考えている方はぜひお読みください。第１巻の「論理」は「命題」と「証明」の章から構成されており，命題と真・偽，否定，かつ・または，必要条件・十分条件，必要十分条件，前提・結論，逆・裏・対偶，全称記号，存在記号，真理値・真理値表，直接証明法，数学的帰納法，背理法，対偶法，転換法について説明しています。各章の最後には練習問題と解答を付けています。また，本書は，手軽にそして自由に持ち運ぶことができる電子書籍ということで，どこでもそしていつでも簡単に読むことができるように，できる限り短い文章で簡潔に説明しています。本書は『経済数学入門』の最新版であり，説明も大幅に増やし，また「経済数学がすぐに理解できる」ということで ... Read more

PHP127.57

本書は，経済学博士（大阪大学）による経済学及び経営学を学ぶために必要な数学の入門テキストの第１巻です。現在，経済学あるいは経営学を勉強している，あるいはこれから勉強しようと考えている方はぜひお読みください。第１巻の「論理」は「命題」と「証明」の章から構成されており，命題と真・偽，否定，かつ・または，必要条件・十分条件，必要十分条件，前提・結論，逆・裏・対偶，全称記号，存在記号，真理値・真理値表，直接証明法，数学的帰納法，背理法，対偶法，転換法について説明しています。各章の最後には練習問題と解答を付けています。また，本書は，手軽にそして自由に持ち運ぶことができる電子書籍ということで，どこでもそしていつでも簡単に読むことができるように，できる限り短い文章で簡潔に説明しています。本書は『経済数学入門』の最新版であり，説明も大幅に増やし，また「経済数学がすぐに理解できる」ということで
... Read more
“Set Theory”

Reserved Power Clause!!! and Article V!!!

by Daniel H. Marchi ...

The powers not delegated to the United States by the Constitution, nor prohibited by it to the States, are (reserved power clause) reserved to the States respectively, or to the people. Constitution Universal set Bill of Rights and Amendments Subset of Universal set 10th Amendment Subset of Bill of Rights Delegated Clause and Reserved power clause Subset of 10th amendment Power of representation ... Read more

PHP192.24

The powers not delegated to the United States by the Constitution, nor prohibited by it to the States, are (reserved power clause) reserved to the States respectively, or to the people. Constitution Universal set Bill of Rights and Amendments Subset of Universal set 10th Amendment Subset of Bill of Rights Delegated Clause and Reserved power clause Subset of 10th amendment Power of representation
... Read more
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

by Raymond M Smullyan ...

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great ... Read more

PHP709.99

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great
... Read more
Notes On Forcing Axioms

by Stevo Todorcevic, Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang ...

Series Book 26 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via ... Read more

PHP1,398.39

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via
... Read more
Introducción a la lógica

by Mauricio Beuchot ...

En este libro, de índole introductoria, el autor expone lo fundamental y básico de tres aspectos de la lógica formal: 1) la lógica clásica, de corte aristotélico; 2) la lógica simbólica o lógica matemática, y 3) la historia de la lógica. La lógica clásica sigue siendo ala mejor introducción al estudio de la lógica, pues da un acceso muy intuitivo a la lógica formal, que después puede perfectamente ... Read more

PHP170.00

En este libro, de índole introductoria, el autor expone lo fundamental y básico de tres aspectos de la lógica formal: 1) la lógica clásica, de corte aristotélico; 2) la lógica simbólica o lógica matemática, y 3) la historia de la lógica. La lógica clásica sigue siendo ala mejor introducción al estudio de la lógica, pues da un acceso muy intuitivo a la lógica formal, que después puede perfectamente
... Read more
Digital And The Real World, The: Computational Foundations Of Mathematics, Science, Technology, And Philosophy

by Klaus Mainzer ...

In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood, ... Read more

PHP5,668.49

In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood,
... Read more
Thinking Matters: Critical Thinking As Creative Problem Solving

by Gary R Mar ...

The ancient Roman orator Horace (65 B.C.-8 B.C.) wrote, 'Control your mind or it will control you.' In today's society we are faced with more information, and more complex information, than ever. Faced with making decisions, we can feel overwhelmed and helpless. One way to become less helpless — to gain control over our lives — is to gain control over our own thinking. We can feel helpless when ... Read more

PHP1,709.59

The ancient Roman orator Horace (65 B.C.-8 B.C.) wrote, 'Control your mind or it will control you.' In today's society we are faced with more information, and more complex information, than ever. Faced with making decisions, we can feel overwhelmed and helpless. One way to become less helpless — to gain control over our lives — is to gain control over our own thinking. We can feel helpless when
... Read more
思辨的螺旋，數學中的邏輯結構：從科學問題到生活應用，都可以用邏輯推演來解決？看看數學思維如何建構這個世界！

by 張遠南 ...

圖形推理法、偽科學、射流技術、命題代數……從智力遊戲推理到數學史上的世紀難題，探索「邏輯」如何建構數學的深層結構和思考方式！▎「logic」──思維形式及其規律性的科學　　本書深入探索數學和邏輯之間深刻的關係，不僅追溯到古希臘哲學家們和對哲學和數學的思索，更深入介紹了現代邏輯的多樣性和其在數學證明中的應用。作者透過列舉具體案例和歷史事件，勾勒出數學與邏輯學的演進軌跡，並指出兩者之間不可分割的關係。從〈人機之戰〉的啟示，到演繹科學的精粹，再到幾何、代數問題，作者以豐富的內容和生動的敘述，激發讀者對這一學科的興趣和探索欲望。▎「數學」和「邏輯」的關係　　本書共分二十四章，涵蓋了從基礎邏輯問題到高階數學推理的各個方面。每一章都圍繞一個主題展開，如〈勒讓德教授的失誤〉和〈維恩的圖形推理法〉等，深入淺出地解釋了數學和邏輯在實際應用中的精彩用例。這些章節不僅呈現了數學推理的嚴謹性 ... Read more

PHP381.08

圖形推理法、偽科學、射流技術、命題代數……從智力遊戲推理到數學史上的世紀難題，探索「邏輯」如何建構數學的深層結構和思考方式！▎「logic」──思維形式及其規律性的科學　　本書深入探索數學和邏輯之間深刻的關係，不僅追溯到古希臘哲學家們和對哲學和數學的思索，更深入介紹了現代邏輯的多樣性和其在數學證明中的應用。作者透過列舉具體案例和歷史事件，勾勒出數學與邏輯學的演進軌跡，並指出兩者之間不可分割的關係。從〈人機之戰〉的啟示，到演繹科學的精粹，再到幾何、代數問題，作者以豐富的內容和生動的敘述，激發讀者對這一學科的興趣和探索欲望。▎「數學」和「邏輯」的關係　　本書共分二十四章，涵蓋了從基礎邏輯問題到高階數學推理的各個方面。每一章都圍繞一個主題展開，如〈勒讓德教授的失誤〉和〈維恩的圖形推理法〉等，深入淺出地解釋了數學和邏輯在實際應用中的精彩用例。這些章節不僅呈現了數學推理的嚴謹性
... Read more
Reasoning and Unification over Conceptual Graphs

by Dan Corbett ...

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic ... Read more

PHP4,873.19

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic
... Read more
Logic, Language, and Probability

A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971

Edited by R. Bogdan, I. Niiniluoto ...

Series series Mathematics and Statistics (R0)
The Fourth International Congress for Logic, Methodology, and Philos ophy of Science was held in Bucharest, Romania, on August 29-September 4, 1971. The Congress was organized, under the auspices of the Inter national Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, by the Academy of the Socialist Republic of Romania, the Academy of Social and ... Read more

PHP3,070.99

The Fourth International Congress for Logic, Methodology, and Philos ophy of Science was held in Bucharest, Romania, on August 29-September 4, 1971. The Congress was organized, under the auspices of the Inter national Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, by the Academy of the Socialist Republic of Romania, the Academy of Social and
... Read more
WITTGENSTEINIAN (adj.)

Looking at the World from the Viewpoint of Wittgenstein's Philosophy

Edited by Shyam Wuppuluri, Newton da Costa ...

Series series Philosophy and Religion (R0)
“Tell me," Wittgenstein once asked a friend, "why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?" His friend replied, "Well, obviously because it just looks as though the Sun is going round the Earth." Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth was rotating?”What ... Read more

PHP5,528.19

“Tell me," Wittgenstein once asked a friend, "why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?" His friend replied, "Well, obviously because it just looks as though the Sun is going round the Earth." Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth was rotating?”What
... Read more
Mathematical Analysis and Proof

by David S G Stirling ...

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads ... Read more

PHP3,911.99

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads
... Read more
Selected Topics in Probabilistic Safety Assessment

Methodology and Practice in Nuclear Power Plants

by Dan Serbanescu, Anatoli Paul Ulmeanu ...

Series series Engineering (R0)
Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants. It is also known as probabilisticrisk assessment– PRA. This book presents the theoretical basis to understand the numerous and complex aspects that are covered by PSA and it willhelp the reader ... Read more

PHP8,599.79

Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants. It is also known as probabilisticrisk assessment– PRA. This book presents the theoretical basis to understand the numerous and complex aspects that are covered by PSA and it willhelp the reader
... Read more
Aufbruch in die Angewandte Mathematik

Vom Verständnis zum praktischen Werkzeug

by Wolfgang Högele ...

Series series Life Science and Basic Disciplines (German Language)
Dieses Buch richtet sich an Studierende in MINT-Studiengängen, die die Mathematik-Grundvorlesungen der ersten beiden Semester absolviert haben. Es vermittelt ein grundlegendes Verständnis der mehrdimensionalen Differentialrechnung und gewöhnlichen Differentialgleichungen und führt schlüssig zur Approximationstheorie und Variationsrechnung. Der Fokus liegt auf den Anwendungsbereichen der ... Read more

PHP1,721.99

Dieses Buch richtet sich an Studierende in MINT-Studiengängen, die die Mathematik-Grundvorlesungen der ersten beiden Semester absolviert haben. Es vermittelt ein grundlegendes Verständnis der mehrdimensionalen Differentialrechnung und gewöhnlichen Differentialgleichungen und führt schlüssig zur Approximationstheorie und Variationsrechnung. Der Fokus liegt auf den Anwendungsbereichen der
... Read more
Model Theory

Selected Lectures from the 2021 Thematic Program

Edited by Deirdre Haskell ...

Series series Mathematics and Statistics (R0)
This book provides an entry into some the key areas of research in contemporary model theory. Model theory, a branch of mathematical logic, is an exciting and vibrant discipline. Advances in pure model theory drive applications in algebra, algebraic geometry, analysis, combinatorics and number theory. The contributing authors are leaders in the field, both senior and junior, including Anand Pillay ... Read more

PHP7,985.49

This book provides an entry into some the key areas of research in contemporary model theory. Model theory, a branch of mathematical logic, is an exciting and vibrant discipline. Advances in pure model theory drive applications in algebra, algebraic geometry, analysis, combinatorics and number theory. The contributing authors are leaders in the field, both senior and junior, including Anand Pillay
... Read more
Principia Mathematica to *56

by Alfred North Whitehead, Bertrand Russell ...

Series series Cambridge Mathematical Library
The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most ... Read more

PHP7,079.29

The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most
... Read more
Robert Rosen and Relational System Theory: An Overview

by James Bryan Lennox ...

Series series Philosophy and Religion (R0)
This book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization and function. This science was originally developed by Nicolas Rashevsky, and further developed by Rashevsky’s student Robert Rosen, and continues to be developed by Rosen’s student A. H. Louie amongst others. Due to its revolutionary character, it is often misunderstood, and to some ... Read more

PHP6,756.89

This book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization and function. This science was originally developed by Nicolas Rashevsky, and further developed by Rashevsky’s student Robert Rosen, and continues to be developed by Rosen’s student A. H. Louie amongst others. Due to its revolutionary character, it is often misunderstood, and to some
... Read more
Effective Mathematics of the Uncountable

Edited by Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller ...

Series Book 41 - Lecture Notes in Logic
Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods – some old, some new – that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and different methods reveal different aspects of the computable content of uncountable mathematics. This book ... Read more

PHP7,554.39

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods – some old, some new – that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and different methods reveal different aspects of the computable content of uncountable mathematics. This book
... Read more
Lectures on Infinitary Model Theory

by David Marker ...

Series Book 46 - Lecture Notes in Logic
Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, ... Read more

PHP7,554.39

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems,
... Read more
Introduction to Coalgebra

Towards Mathematics of States and Observation

by Bart Jacobs ...

Series Book 59 - Cambridge Tracts in Theoretical Computer Science
The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... Read more

PHP9,549.89

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts
... Read more
Matematica: logica, insiemi, funzioni e calcolo letterale

by Simone Malacrida ...

In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici:logica matematicateoria degli insiemiteoria delle funzionicalcolo letteraleproprietà delle potenze e dei radicalicalcolo monomiale e polinomialeOgni argomento è trattato mettendo in risalto le applicazioni pratiche e risolvendo alcuni esercizi significativi. ... Read more

PHP154.86

In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici:logica matematicateoria degli insiemiteoria delle funzionicalcolo letteraleproprietà delle potenze e dei radicalicalcolo monomiale e polinomialeOgni argomento è trattato mettendo in risalto le applicazioni pratiche e risolvendo alcuni esercizi significativi.
... Read more
Secrets to Solving Multiple Choice Questions in Competitive Exams

A Guide to Efficient Study Habits and Test-Taking Skills

by Budhi Sagar ...

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 strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized ... Read more

PHP206.65 or Free with Kobo Plus

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 strategies, tips, and insights to master multiple-choice questions, a crucial component of many standardized
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Logic eBooks

Descartes' Error

How to Bake Pi

すぐにわかる経済数学１：論理

“Set Theory”

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Notes On Forcing Axioms

Introducción a la lógica

Digital And The Real World, The: Computational Foundations Of Mathematics, Science, Technology, And Philosophy

Thinking Matters: Critical Thinking As Creative Problem Solving

思辨的螺旋，數學中的邏輯結構：從科學問題到生活應用，都可以用邏輯推演來解決？看看數學思維如何建構這個世界！

Reasoning and Unification over Conceptual Graphs

Logic, Language, and Probability

WITTGENSTEINIAN (adj.)

Mathematical Analysis and Proof

Selected Topics in Probabilistic Safety Assessment

Aufbruch in die Angewandte Mathematik

Model Theory

Principia Mathematica to *56

Robert Rosen and Relational System Theory: An Overview

Effective Mathematics of the Uncountable

Lectures on Infinitary Model Theory

Introduction to Coalgebra

Matematica: logica, insiemi, funzioni e calcolo letterale

Secrets to Solving Multiple Choice Questions in Competitive Exams