Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Logic Books
Logica e assiomatica
A Hierarchy of Turing Degrees : A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability
Logic Machines and Diagrams
Logic Machines and Diagrams
Knowledge Graphs and Logic: One of Two Kinds
The Empty Set, the Singleton, and the Ordered Pair
Formal Logic: Its Scope and Limits
Formal Logic: Its Scope and Limits
Symbolic Logic
Logic: lecture notes
La théorie des ensembles. Introduction à une théorie de l'infini et des grands cardinaux
Introducere in Logica Matematica si Teoria Multimilor
How to Prove It: A Structured Approach
The λ-calculus (lambda calculus)
Floyd-Hoare Logic
Computability for the Mathematical
Logic for the Mathematical
История логики
Set Theory: A First Course
Логика: Пособие для учащихся
The Core Model Iterability Problem
The Notre Dame Lectures
Recursion Theory
Essential Stability Theory
Finite Structure and Iteration Trees
Inexhaustibility: A Non-Exhaustive Treatment
An Introduction to Description Logic
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way
Logicism Renewed
Admissible Sets and Structures
A First Journey Through Logic
Modern Logic: A Text in Elementary Symbolic Logic
Logica. Manual pentru clasa a X-a
La logica da Leibniz a Frege
Lambda Calculus with Types
Ordinal Computability: An Introduction to Infinitary Machines
数理逻辑是什么
Lógica e filosofia da linguagem
The Elements of Logic
Introducción a la Filosofía de la Lógica
An Introduction to Foundational Logic
Justification Logic: Reasoning with Reasons
Introduzione alla logica. Linguaggio, significato, argomentazione
Introduzione alla logica. Linguaggio, significato, argomentazione
Handbook of Epistemic Logic
Handbook Of Set Theory
A Prova de Godel
Dagli insiemi ai numeri
Abstract Recursion and Intrinsic Complexity
Лучшие задачи на логику
Recursive aspects of descriptive set theory
A matematikai logika alkalmazásszemléletű tárgyalása
Foundations of the formal sciences IV.. The history of the concept of the formal sciences
Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Что такое аксиоматический метод
Практическая логика. Упражнения и задачи с объяснением способов решения
Отрицательные высказывания
Основания математической логики
Основания математики. Том 2: Теория доказательств
Основания математики. Том 1: Логические исчисления и формализация арифметики
Неклассические логики. Учебное пособие
Множества. Логика. Аксиоматические теории
Математические принципы нечеткой логики
Математическая логика и теория алгоритмов
Математическая логика
Логика в лицах и символах
Лекции по математической логике
Исследования по теории доказательств. Сборник статей
Интуиционизм. Введение
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik
Logic: an introduction
Logic in Tehran: Proceedings, 2003
Logic and algebra: Selected papers Pontignano, 1994
Frege and the logic of sense and reference
A survey of mathematical logic
A modern formal logic
Теория судебных доказательств в советском праве. Издание третье дополненное.
Обобщенная релевантная логика и модели рассуждений: монография
Математическая логика и теория алгоритмов
В границах трехзначности
Wittgenstein's notes on logic
Вводный курс математической логики
Uncertain inference
Truth, vagueness, and paradox: An essay on the logic of truth
Truth, proof and infinity: A theory of constructions and constructive reasoning
Truth and falsehood: an inquiry into generalized logical values
Time and modality
Theory of logical calculi: Basic theory of consequence operations
The structure of the real line
The situation in logic
The scope of formal logic: The new logical doctrines expounded, with some criticisms
The Power of Logic
The development of symbolic logic: A critical-historical study of the logical calculus
The logic of decision and action
The logic of concept expansion
The evolution of Principia Mathematica: Bertrand Russell's manuscripts and notes for the second edition
The core model
The classical decision problem
The Banach-Tarski paradox Grzegorz Tomkowicz, Centrum Edukacji G2, Bytom, Poland, Stan Wagon, Macalester College, St. Paul, Minnesota
3
4
5
6
7
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
