語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Proof theory.
概要
作品:
49 作品在 30 項出版品 30 種語言
書目資訊
An accompaniment to higher mathematics /
by:
(書目-語言資料,印刷品)
Proofs and fundamentals :a first course in abstract mathematics /
by:
(書目-語言資料,印刷品)
Conjecture and proof /
by:
(書目-語言資料,印刷品)
Set Theory :Boolean-Valued Models and Independence Proofs
by:
(書目-電子資源)
Reductive Logic and Proof-search :Proof Theory, Semantics, and Control
by:
(書目-電子資源)
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
by:
(書目-電子資源)
Proof theorythe first step into impredicativity /
by:
(書目-電子資源)
Proof theory for fuzzy logics
by:
(書目-電子資源)
Utilizing problem structure in planninga local search approach /
by:
(書目-電子資源)
Logic for concurrency and synchronisation
by:
(書目-電子資源)
Applied proof theory :proof interpretations and their use in mathematics /
by:
(書目-語言資料,印刷品)
Explanation and proof in mathematicsphilosophical and educational perspectives /
by:
(書目-電子資源)
The art of proofbasic training for deeper mathematics /
by:
(書目-電子資源)
Methods of cut-elimination
by:
(書目-電子資源)
The proof is in the puddingthe changing nature of mathematical proof /
by:
(書目-電子資源)
Structural proof theory
by:
(書目-電子資源)
Frege's notationswhat they are and how they mean /
by:
(書目-電子資源)
2-D quadratic maps and 3-D ODE systemsa rigorous approach /
by:
(書目-電子資源)
Conditional and preferential logicsproof methods and theorem proving /
by:
(書目-電子資源)
Proofs and fundamentalsa first course in abstract mathematics /
by:
(書目-電子資源)
Mathematical analysis and proof
by:
(書目-電子資源)
Where is the Godel-point hidingGentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(書目-電子資源)
Handbook of proof theory
by:
(書目-電子資源)
Problems and proofs in numbers and algebra
by:
(書目-電子資源)
Proof patterns
by:
(書目-電子資源)
Why prove it again?alternative proofs in mathematical practice /
by:
(書目-電子資源)
Gentzen's centenarythe quest for consistency /
by:
(書目-電子資源)
Writing proofs in analysis
by:
(書目-電子資源)
The nuts and bolts of proofsan introduction to mathematical proofs /
by:
(書目-電子資源)
Statistical learning with sparsity :the lasso and generalizations /
by:
(書目-語言資料,印刷品)
Basic discrete mathematics :logic, set theory, & probability /
by:
(書目-語言資料,印刷品)
Space in weak propositional proof systems
by:
(書目-電子資源)
An introduction to the language of mathematics
by:
(書目-電子資源)
Proof theory and algebra in logic
by:
(書目-電子資源)
A model-theoretic approach to proof theory
by:
(書目-電子資源)
Mathesis universalis, computability and proof
by:
(書目-電子資源)
The legacy of Kurt Schutte
by:
(書目-電子資源)
Ordinal analysis with an introduction to proof theory
by:
(書目-電子資源)
Discrete mathematics and graph theory :a concise study companion and guide /
by:
(書目-語言資料,印刷品)
Sequents and treesan introduction to the theory and applications of propositional sequent calculi /
by:
(書目-電子資源)
Theoremusa student's guide to mathematical proofs /
by:
(書目-電子資源)
Arnon Avron on semantics and proof theory of non-classical logics
by:
(書目-電子資源)
Conceptions and consequences of mathematical argumentation, justification, and proof
by:
(書目-電子資源)
Axiomatic thinking.I
by:
(書目-電子資源)
R-calculus.III,Post three-valued logic
by:
(書目-電子資源)
Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem /
by:
(書目-語言資料,印刷品)
Peter Schroeder-Heister on proof-theoretic semantics
by:
(書目-電子資源)
Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem
by:
(書目-電子資源)
Harmony and paradoxintensional aspects of proof-theoretic semantics /
by:
(書目-電子資源)
更多
較少的
主題
Mathematical Logic and Foundations.
Logic.
Nonlinear operators.
Mathematical Logic and Formal Languages.
Mathematical notation.
MATHEMATICS / Infinity
Philosophy.
Number theory.
Topology.
Least squares.
Theory of Computation.
Graph theory.
Engineering mathematics.
Graph Theory.
Computer Science, general.
Computer logic.
Logic, Symbolic and mathematical.
Logica.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Fuzzy logic.
Mathematics
Numerical Analysis.
Algebra.
Combinatorics.
Mathematics of Computing.
Structures and Proofs.
Algebraic logic.
Calculus.
Algebra, Boolean.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Education.
Frege, Gottlob,
MATHEMATICS / Logic
Mathematicians
Discrete mathematics.
Engineering Mathematics.
Kolmogorov-Arnold-Moser theory.
Philosophy of Language.
Set theory.
Bewijstheorie.
Abstract data types (Computer science)
Logic Design.
Mathematics.
Approximation theory.
History of Mathematical Sciences.
Popular Science in Mathematics/Computer Science/Natural Science/Technology.
Differential equations, Linear.
Number Theory.
Analysis.
Linear models (Statistics)
Philosophy, general.
Syllogism.
Models and Principles.
Parallel programming (Computer science)
Automatic theorem proving.
Numbers, Ordinal.
Functional Analysis.
Fourier Analysis.
Schutte, K.
Mathematics teachers
Hilbert, David,
Arnolʹd, V. I.
Linguistics.
Proof theory.
Functional programming (Computer science)
Lambda calculus.
Order, Lattices, Ordered Algebraic Structures.
Problem solving.
Modality (Logic)
Mathematics Education.
Mathematics, general.
Bifurcation theory.
Mathematical analysis.
Induction (Mathematics)
Probabilities.
Computer science
Formal Languages and Automata Theory.
Computer Science.
Educational Philosophy.
Proof theory
Differentiable dynamical systems.
Godel numbers.
Discrete Mathematics in Computer Science.
Philosophy of Mathematics.
Avron, Arnon.
Teaching and Teacher Education.
Reductie (filosofie)
Logique symbolique et mathématique.
Preuve, Théorie de la.
Curry-Howard isomorphism.
Planning
Forms, Quadratic.
General Algebraic Systems.
Geometry.
Gentzen, Gerhard.
Mathematical statistics.
Arnol'd, V. I.
處理中
...
變更密碼
登入