• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Deutsch 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Einloggen
Dokumentanzeige 
  •   DSpace Startseite
  • Genofond
  • Libgen
  • Dokumentanzeige
  •   DSpace Startseite
  • Genofond
  • Libgen
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.

Теория доказательств

Thumbnail
Öffnen
12b024fc9917393568947d5ece955ca0.djvu (4.306Mb)
Datum
1978
Autor
Такеути Г.
Metadata
Zur Langanzeige
Zusammenfassung
Книга посвящена одному из основных разделов математической логики - теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математическою анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
URI
http://ir.nmu.org.ua/handle/GenofondUA/32124
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV
 

 

Stöbern

Gesamter BestandBereiche & SammlungenErscheinungsdatumAutorenTitelnSchlagwortenDiese SammlungErscheinungsdatumAutorenTitelnSchlagworten

Mein Benutzerkonto

EinloggenRegistrieren

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV