Books of Giorgi

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: 2010 June

Unordered Logic and Foundations English

Issues (Editions)YearIssue2021Volume: ??????2020Volume: 851Volume: ??????2019Volume: 851Volume: 8410234Volume: ??????2018Volume: 83123042017Volume: 831Volume: 8212342016Volume: 8112342015Volume: 8012342014Volume: 790112342013Volume: 7812342012Volume: 771234Volume: 7512011Volume: 7612342010Volume: 7512342009Volume: 784Volume: …

Logic Symbolic Mathematics Proof Theory

Published on: 2006 April 01

Unordered Logic and Foundations English

Issues (Editions)YearIssue2021Volume: 2212020Volume: 2112342019Volume: 2112Volume: 2012342018Volume: 201Volume: 1912342017Volume: 191Volume: 1812342016Volume: 172342015Volume: 1712Volume: 1612342014Volume: 161Volume: 1512342013Volume: 1412342012Volume: 1312342011Volume: 122342010Volume: 121Volume: 112342009Volume: …

logic computation algorithms formalmethods programming

Published on: 2006 April 01

Unordered Logic and Foundations English

computational logic algorithms formal methods reasoning verification

Page of