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

Classical and Quantum Computation
Published on: 2002
Advanced Artificial Intelligence (AI) English

computability algorithms quantum logic complexity
Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles
Published on: 2014
Beginner Mathematics English

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area …

computability reverse-mathematics combinatorics logic principles
Annals of Pure and Applied Logic
Published on: 2003 October
Unordered Logic and Foundations English

Issues (Editions)YearIssue2021Volume: 1721234Volume: ??????2020Volume: 17112345678910Volume: ??????2019Volume: 170123456789101112Volume: ??????2018Volume: 1691234567891011122017Volume: 1681234567891011122016Volume: 1671234567891011122015Volume: 1661234567-891011122014Volume: 1651234567-891011122013Volume: 1641234567-891011122012Volume: 1631234567891011122011Volume: 1624567891011122010Volume: 162123Volume: 1614567891011122009Volume: 161123Volume: 160123Volume: …

mathematics logic computability proof theory
Mathematical Logic Quarterly
Published on: 2004 September
Unordered Art English

Issues (Editions)YearIssue2020Volume: 66123Volume: ??????2019Volume: 651234Volume: ??????2018Volume: 641-234-562017Volume: 631-23-456Volume: ??????2016Volume: 631-2Volume: 621-234-562015Volume: 621-2Volume: 611-234-562014Volume: 601-234-562013Volume: 601-2Volume: 591-234-562012Volume: 591-2Volume: 581-234-56Volume: ??????2011Volume: 581-2Volume: …

logic mathematics proof semantics computability
Mathematical Logic Quarterly
Published on: 1999
Unordered Mathematical Logic English

Issues (Editions)YearIssue2020Volume: 66123Volume: ??????2019Volume: 651234Volume: ??????2018Volume: 641-234-562017Volume: 631-23-456Volume: ??????2016Volume: 631-2Volume: 621-234-562015Volume: 621-2Volume: 611-234-562014Volume: 601-234-562013Volume: 601-2Volume: 591-234-562012Volume: 591-2Volume: 581-234-56Volume: ??????2011Volume: 581-2Volume: …

mathematical logic proof theory model theory computability formal systems
Mathematical Logic Quarterly
Published on: 2005 November
Unordered Mathematical Logic English

Issues (Editions)YearIssue2020Volume: 66123Volume: ??????2019Volume: 651234Volume: ??????2018Volume: 641-234-562017Volume: 631-23-456Volume: ??????2016Volume: 631-2Volume: 621-234-562015Volume: 621-2Volume: 611-234-562014Volume: 601-234-562013Volume: 601-2Volume: 591-234-562012Volume: 591-2Volume: 581-234-56Volume: ??????2011Volume: 581-2Volume: …

mathematical logic proof theory model theory formal systems computability
Archive for Mathematical Logic
Published on: 2005 November 10
Unordered Mathematical Logic 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 formal systems computability

Page of

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