4 research outputs found
Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Gödel and Intuitionism
- Author
- A. Heyting
- A. Heyting
- A. Heyting
- A. Kanckos
- A. Shell-Gellasch
- A. Troelstra
- A. Troelstra
- D. Cairns
- D. Dalen van
- D. Dalen van
- E. Husserl
- E. Husserl
- E. Husserl
- E. Husserl
- G. Kreisel
- G. Sundholm
- G. Sundholm
- H. Poutsma
- H. Spiegelberg
- H. Swart de
- H. Swart de
- H. Swart de
- H. Wang
- H. Wang
- H. Wang
- J. Bell
- J. Dawson Jr
- J. Myhill
- L. E. J. Brouwer
- M. Atten van
- M. Atten van
- M. Dummett
- M. Fitting
- P. Bernays
- S. Artemov
- S. Feferman
- S. Kuroda
- T. Skolem
- W. Tait
- W. Tait
- W. Veldman
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
The rights of intended children: The best interests of the child argument in assisted reproduction policy
- Author
- Assisted Reproduction in the Nordic Countries 
- Cutas D
- Dingwall R
- Ds 2000:51
- Engeli I
- Heyd D
- Jonsson Malm C
- Judith Lind
- Kanckos L
- Lagerberg D
- Lie M
- Lundqvist Ă…
- Nehlin A
- Nordqvist P
- Referral statements on Ds 2000:51
- Referral statements on SOU 2014:29
- Shanley ML
- Singer A
- Sköld J
- SMER
- SMER
- SoS-rapport 1998:7
- SOU 1983:42
- SOU 1985:5
- SOU 2007:3
- SOU 2014:29
- SOU 2016:11
- Stoll J
- Tinnerholm Ljungberg H
- United Nations
- Publication venue
- 'SAGE Publications'
- Publication date
- Field of study
Gödel and Intuitionism
- Author
- A. Heyting
- A. Heyting
- A. Heyting
- A. Kanckos
- A. Shell-Gellasch
- A. Troelstra
- A. Troelstra
- D. Cairns
- D. Dalen van
- D. Dalen van
- D. Scott
- E. Husserl
- E. Husserl
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Kreisel
- G. Leibniz
- G. Sundholm
- G. Sundholm
- G. Sundholm
- H. Poutsma
- H. Spiegelberg
- H. Swart de
- H. Swart de
- H. Swart de
- H. Wang
- H. Wang
- H. Wang
- Howard W. (unpublished), Autobiographical notes for Amy Shell-Gellasch. William Howard Oral History Collection
- J. Bell
- J. Dawson
- J. Myhill
- J. Myhill
- K. Gödel
- K. Gödel
- K. Gödel
- K. Gödel
- K. Gödel
- L. E. J. Brouwer
- L. E. J. Brouwer
- L. E. J. Brouwer
- M. Atten van
- M. Atten van
- M. Atten van
- M. Atten van
- M. Atten van
- M. Fitting
- N. Goodman
- P. Aczel
- P. Mancosu
- P. Mancosu
- R. PĂ©ter
- S. Artemov
- S. Kleene
- S. Kuroda
- T. Skolem
- W. Howard
- W. Tait
- W. Tait
- W. Tait
- W. Tait
- W. Veldman
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study