لیست کتاب های کلمه کلیدی: #Mathematical Logic

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Published on: 2011
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in …

Formal Methods Mathematical Logic Software Engineering Verification Brazil
An Introduction to the Technique of Formative Processes in Set Theory
Published on: 2018
Beginner Set Theory English

Set Theory Formative Processes Mathematical Logic Foundations Abstract Structures
Generalized descriptive set theory and classification theory
Published on: 2014
Beginner Mathematics English

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper …

Set Theory Classification Descriptive Mathematical Logic Structures
Computability: An Introduction to Recursive Function Theory
Published on: 1980
Beginner Set Theory English

Recursive Functions Computability Theory Decidability Turing Machines Mathematical Logic
Archive for Mathematical Logic
Published on: 2002 November 01
Unordered Unordered English

Issues (Editions)YearIssue2021Volume: ??????2020Volume: 593-47-8Volume: ??????2019Volume: 591-23-4Volume: 585-67-8Volume: ??????2018Volume: 581-23-45-6Volume: 577-82017Volume: 571-23-45-67-8Volume: 563-45-67-82016Volume: 561-2Volume: 551-23-45-67-82015Volume: 551-23-4Volume: 543-45-67-82014Volume: 541-23-4Volume: 533-45-67-82013Volume: 531-23-4Volume: 523-45-67-82012Volume: …

Mathematical Logic Proof Theory Model Theory Set Theory Computability

Page of

تماس با پشتیبان