Forcing with random variables and proof complexity

Podrobná bibliografie

Hlavní autor:	Krajíček, Jan, 1960- (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Cambridge : Cambridge University Press, 2011
Edice:	London Mathematical Society lecture note series
Žánr/forma:	učebnice vysokých škol
ISBN:	978-0-521-15433-8
Témata:	matematická logika teorie důkazů výrokový kalkul teorie složitosti výpočetní složitost matematická analýza
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!