Quelltext der Seite Rosser, B. (1936): Extensions of Some Theorems of Gödel and Church

{{Quelle:Artikel
| key         = Rosser (1936)
| authors     = Barkley Rosser
| title       =  Extensions of Some Theorems of Gödel and Church
| subtitle    =
| journal     = The Journal of Symbolic Logic
| volume      = 1
| number      = 3
| pages       = 87-9
| publisher   = The Journal of Symbolic Logic
| address     =
| issn        =
| isbn        =
| year        = 1936
| month       =
| day         =
| url         = http://www.jstor.org/stable/2269028
| language    =
| annotations =
}}
[[Kategorie:Quelle:Logik]]
[[Kategorie:Quelle:Mengenlehre]]