Repository logo
Research Data
Publications
Projects
Persons
Organizations
English
Français
Log In(current)
  1. Home
  2. Publications
  3. Article de recherche (journal article)
  4. Boolos' nonconstructive proof of Gödel's theorem

Boolos' nonconstructive proof of Gödel's theorem

Author(s)
Vesley, Richard
Date issued
1992
In
Travaux de logique, Universités de Neuchâtel et Rennes, 1992/7//67-72
Publication type
journal article
Identifiers
https://libra.unine.ch/handle/20.500.14713/59823
File(s)
Loading...
Thumbnail Image
Download
Name

Vesley_Richard_E._-_Boolos_nonconstructive_proof_of_G_del_s_theorem_20131120.pdf

Type

Main Article

Size

329.49 KB

Format

Adobe PDF

Université de Neuchâtel logo

Service information scientifique & bibliothèques

Rue Emile-Argand 11

2000 Neuchâtel

contact.libra@unine.ch

Service informatique et télématique

Rue Emile-Argand 11

Bâtiment B, rez-de-chaussée

Powered by DSpace-CRIS

libra v2.1.0

© 2025 Université de Neuchâtel

Portal overviewUser guideOpen Access strategyOpen Access directive Research at UniNE Open Access ORCIDWhat's new