Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten an der Information in Frankfurt am Main: Montag bis Freitag von 9–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: nid=4145177-6



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4145177-6
Sachbegriff Beweistheorie
Quelle M
DDC-Notation 511.36
Systematik 28 Mathematik
Andere Normdaten LCSH: Proof theory
RAMEAU: Théorie de la démonstration
Untergeordnet 2 Datensätze
  1. Funktionalinterpretation
    Beweistheorie
  2. Hilbertsches Programm
    Beweistheorie
Thema in 90 Publikationen
  1. On the extraction of computational content from noneffective convergence proofs in analysis
    Safarik, Pavol. - Berlin : Logos-Verl., 2014
  2. Wahrheit, Beweis, Unendlichkeit
    Stillwell, John. - Berlin : Springer Spektrum, 2014
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration