• 欢迎光临科研迷图书馆!
logo

逻辑学

数学逻辑和集合论第一课(第1版)

  • Michael L. O'Leary |
  • 2016 |
  • pdf |
  • 12.58MB |
  • 464页

A First Course in Mathematical Logic and Set Theory (1st Edition)

正交性和量子几何:量子理论的关系重建[博士论文]

  • Shengyang Zhong |
  • 2015 |
  • pdf |
  • 1.26MB |
  • 266页

Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory [PhD Thesis]

非经典逻辑中的对应性和经典性[博士论文]

  • Sumit Sourabh |
  • 2015 |
  • pdf |
  • 2.12MB |
  • 258页

Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]

不动点逻辑的片段。自动机与表现力[博士论文]

  • Facundo Matias Carreiro |
  • 2015 |
  • pdf |
  • 2.06MB |
  • 270页

Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

非经典逻辑中的对应性和经典性[博士论文]

  • Sumit Sourabh |
  • 2015 |
  • pdf |
  • 9.78MB |
  • 258页

Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]

根岑的百年纪念,对一致性的追求(第1版)

  • Reinhard Kahle, Michael Rathjen (eds.) |
  • 2015 |
  • pdf |
  • 6.46MB |
  • 563页

Gentzen's Centenary, The Quest for Consistency (1st Edition)

证明理论语义学的进展(第1版)

  • Thomas Piecha, Peter Schroeder-Heister |
  • 2015 |
  • pdf |
  • 2.69MB |

Advances in Proof-Theoretic Semantics (1st Edition)

数学逻辑导论,第六版

  • Mendelson, Elliott |
  • 2015 |
  • pdf |
  • 9.99MB |
  • 499页

Introduction to Mathematical Logic, Sixth Edition (6th ed)

通往普遍逻辑之路:让-伊夫·贝齐奥50岁生日庆典第二卷(第1版)

  • Arnold Koslow, Arthur Buchsbaum (eds.) |
  • 2015 |
  • pdf |
  • 9.84MB |
  • 604页

The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II (1st Edition)

纯归纳逻辑(第1版)

  • Jeffrey Paris, Alena Vencovská |
  • 2015 |
  • pdf |
  • 1.47MB |
  • 354页

Pure Inductive Logic (1st Edition)