Matematisk logik: Forskelle mellem versioner
Content deleted Content added
m →Symbolsk logik: ret link |
Weblars (diskussion | bidrag) →Referencer: retter referencer |
||
Linje 85:
|publisher=[[World Scientific Publishing]]
|location=Singapore
|isbn=978-981-4343-87-9
|id = (pbk.)
|year=2011}}.
Line 101 ⟶ 102:
|location=Cambridge
|edition=4th
|isbn=978-0-521-00758-0
|id = (pbk.)
|year=2002}}.
* {{Citation
Line 399 ⟶ 401:
| pages=132–213
| doi=10.1007/BF01565428
}}, reprinted in English translation in Gentzen's ''Collected works'', M. E. Szabo, ed., North-Holland, Amsterdam, 1969.
*{{Citation
| last1=Gödel
Line 439 ⟶ 441:
| doi=10.1111/j.1746-8361.1958.tb01464.x
| issue=3–4
}}, genudgivet i engelsk oversættelse i Gödel's ''Collected Works'', vol II, Soloman Feferman et al., eds. Oxford University Press, 1990.
*{{citation
| editor-first=Jean
Line 445 ⟶ 447:
| editor-link=Jean van Heijenoort
| title = From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
| edition = 3rd printing with corrections
| publisher = Harvard University Press
| location = Cambridge, Mass
| year =
| origyear = 1967
| id = (pbk.)
| isbn=0-674-32449-8
|