لیست کتاب های کلمه کلیدی: #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 Unordered 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

Page 1 of 1