TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Godel's theorem in retrospect Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 3 / s. 132 - 1361984CZYSTY TEKST
Martin Tabakov, Godel's theorem in retrospect, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 3, s. 132 - 136
BIBTEX@Article{ authors = " Martin Tabakov", title = "Godel's theorem in retrospect", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 3", pages = "132 - 136" }
-
A formal system without well-formed formulas Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 1 / s. 27 - 291979CZYSTY TEKST
Martin Tabakov, A formal system without well-formed formulas, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 1, s. 27 - 29
BIBTEX@Article{ authors = " Martin Tabakov", title = "A formal system without well-formed formulas", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 1", pages = "27 - 29" }
