ข้ามไปที่เนือ้หา
Proof theory : the first step into impredicativity แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
Checking...

Proof theory : the first step into impredicativity

ผู้แต่ง: Wolfram Pohlers
สำนักพิมพ์: New York ; London : Springer, ©2009.
ชุด: Universitext.
ครั้งที่พิมพ์/รูปแบบ:   หนังสืออีเล็กทรอนิกส์ : เอกสาร : Englishดูครั้งที่พิมพ์และรูปแบบ
ฐานข้อมูล:WorldCat
คะแนน:

(ยังไม่ให้คะแนน) 0 กับความคิดเห็น - เป็นคนแรก

หัวเรื่อง
เพิ่มเติมเช่นนี้

 

ค้นหาสำเนาออนไลน์

เชื่อมโยงไปยังรายการนี้

ค้นหาสำเนาในห้องสมุด

กำลังดึงข้อมูล… ค้นหาห้องสมุดที่มีรายการนี้

รายละเอียด

ประเภท/แบบฟอร์ม Electronic books
รูปแบบทางกายภาพเพิ่มเติม Print version:
Pohlers, Wolfram.
Proof theory.
New York ; London : Springer, 2008
(OCoLC)233788989
ขนิดวัสดุ: เอกสาร, ทรัพยากรอินเตอร์เน็ต
ประเภทของเอกสาร: แหล่งข้อมูลอินเทอร์เน็ต, ไฟล์คอมพิวเตอร์
ผู้เขียนทั้งหมด : ผู้เขียนร่วม Wolfram Pohlers
ISBN: 9783540693192 354069319X
OCLC Number: 310353075
หมายเหตุ: Originally published: 1989.
คำอธิบาย: 1 online resource (xiii, 370 p.) : ill.
สารบัญ: 1 Historical Background --
2 Primitive Recursive Functions and Relations --
3 Ordinals --
4 Pure Logic --
5 Truth Complexities for Pi 1-1-Sentences --
6 Inductive Definitions --
7 The Ordinal Analysis for Pean Arithmetic --
8 Autonomous Ordinals and the Limits of Predicativity --
9 Ordinal Analysis of the Theory for Inductive Definitions --
10 Provably Recursive Functions of NT --
11 Ordinal Analysis for Kripke Platek Set Theory with infinity --
12 Predicativity Revisited --
13 Non-Monotone Inductive Definitions --
14 Epilogue
หัวข้อชุด: Universitext.
ความรับผิดชอบ by Wolfram Pohlers.

รีวิว

ความคิดเห็นผู้ที่ใช้งาน
กำลังดึง รีวิว GoodReads…
Retrieving DOGObooks reviews...

แท็ก

เป็นคนแรก.

รายการคล้ายกัน

หัวเรื่องที่เกี่ยวข้อง:(1)

รายชื่อผู้ใช้พร้อมกับรายการนี้ (1)

  • ML 2009(32 รายการ)
    โดย reydubois ปรับปรุง 2010-01-04
ยืนยันคำขอนี้

คุณอาจะร้องขอรายการนี้แล้. โปรดเลือก ตกลง ถ้าคุณต้องการดำเนินการคำขอนี้ต่อไป.

Linked Data


<http://www.worldcat.org/oclc/310353075>
library:oclcnum"310353075"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/310353075>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:copyrightYear"2009"
schema:creator
schema:datePublished"2009"
schema:description"1 Historical Background -- 2 Primitive Recursive Functions and Relations -- 3 Ordinals -- 4 Pure Logic -- 5 Truth Complexities for Pi 1-1-Sentences -- 6 Inductive Definitions -- 7 The Ordinal Analysis for Pean Arithmetic -- 8 Autonomous Ordinals and the Limits of Predicativity -- 9 Ordinal Analysis of the Theory for Inductive Definitions -- 10 Provably Recursive Functions of NT -- 11 Ordinal Analysis for Kripke Platek Set Theory with infinity -- 12 Predicativity Revisited -- 13 Non-Monotone Inductive Definitions -- 14 Epilogue"@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/866283287>
schema:genre"Electronic books."@en
schema:inLanguage"en"
schema:name"Proof theory the first step into impredicativity"@en
schema:numberOfPages"370"
schema:publisher
schema:url
schema:url<http://dx.doi.org/10.1007/978-3-540-69319-2>
schema:workExample

Content-negotiable representations

ปิดหน้าต่าง

กรุณาลงชื่อเข้าสู่ระบบ WorldCat 

ยังไม่มีบัญชีผู้ใช้? คุณสามารถสร้างได้อย่างง่ายดาย สร้างบัญชีผู้ใช้ฟรี.