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

Published on: 2006

This volume has its origins in the Research Programme on Set Theory and its Applications that took place at the …

Set theory Mathematical logic Barcelona Research 2003-2004

Published on: 2012 November 23

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

Published on: 2012 December 05

Unordered Mathematical Logic English

Mathematical logic Proof theory Model theory Set theory Computability

Published on: 2002 October

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

Published on: 2004 September

Unordered Mathematical Logic English

Mathematical logic proof theory model theory completeness consistency

Published on: 2007 November 27

Unordered Mathematical Logic English

Mathematical logic Proof theory Model theory Recursion Set theory

Published on: 2009 December 05

Unordered Mathematical Logic English

Mathematical logic Proof theory Model theory Set theory Recursion theory

Published on: 2001 April 01

Unordered Mathematical Logic English