Code: 15401041
Core Logic
by Neil Tennant
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for ... more
- Language:
English - Binding: Hardback
- Number of pages: 384
Publisher: Oxford University Press, 2017
- More about this
You might also like
-
Oxford Bookworms Library: Level 4:: 20,000 Leagues Under The Sea Audio Pack
12.11 € -
Cute Little Monsters
20.60 € -
Illustrirtes Conchylienbuch
30.09 € -2 % -
Proceedings of the 1997 World Marketing Congress
186.47 € -
Geschichte Karl des Zwoelften
44.54 € -1 % -
South Pass City and the Sweetwater Mines
26.56 € -19 % -
Mimetische Praktiken in der neueren Architektur
38.28 € -10 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Core Logic
You get 276 loyalty points
Book synopsis
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
110.30 €
- Full title: Core Logic
- Author: Neil Tennant
- Language: English
- Binding: Hardback
- Number of pages: 384
- EAN: 9780198777892
- ISBN: 9780198777892
- ID: 15401041
- Publisher: Oxford University Press
- Weight: 854 g
- Dimensions: 452 × 266 × 34 mm
- Date of publishing: 07. September 2017
Trending among others
-
Proof-theoretic Semantics
28.68 € -
Goedel's Proof
14.33 € -10 % -
Category Theory in Context
27.37 € -23 % -
Metamathematics of Fuzzy Logic
240.82 € -
To Mock a Mockingbird: and Other Logic Puzzles
13.32 € -28 % -
Proofs and Refutations
24.03 € -10 % -
Limitless Mind
15.24 € -28 % -
Illustrated Book of Bad Arguments
13.22 € -22 % -
Oxford Handbook of Philosophy of Mathematics and Logic
71.01 € -
Axiom of Choice
12.52 € -22 % -
Introduction to Logic and to the Methodology of Deductive Sciences
13.22 € -
Categories for the Working Mathematician
58.78 € -17 % -
Conceptual Mathematics
62.42 € -5 % -
Sets, Sequences and Mappings
8.78 € -21 % -
Set Theory
31.81 € -
Foundations of Mathematics
32.21 € -
Proof Theory
20.90 € -19 % -
Logic For Dummies
20.50 € -21 % -
Metalogic
42.72 € -
Schaum's Outline of Set Theory and Related Topics
23.83 € -20 % -
Basic Proof Theory
66.06 € -
Logic
11.30 € -28 % -
Logic: A Very Short Introduction
9.28 € -28 % -
Beginner's Guide to Mathematical Logic
21.20 € -28 % -
Naive Set Theory
11.30 € -28 % -
Elements of Mathematics
22.52 € -8 % -
Can You Solve My Problems?
12.21 € -22 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
21 € -
Concise Introduction to Pure Mathematics
58.98 € -2 % -
Model Theory
28.88 € -19 % -
In Pursuit of the Traveling Salesman
14.64 € -18 % -
Interactive Theorem Proving and Program Development
73.13 € -18 % -
Lambda Calculus with Types
105.25 € -
From Frege to Goedel
62.62 € -
Arithmetic
23.43 € -4 % -
Introduction to Mathematical Logic
156.57 € -
Handbook of Mathematical Fuzzy Logic. Volume 1
32.72 € -
Category Theory
80.91 € -5 % -
Taking Sudoku Seriously
54.74 € -
2000 Solved Problems in Discrete Mathematics
31.61 € -13 % -
Handbook of Mathematical Induction
75.75 € -
First-order Logic
8.68 € -28 % -
Teaching Multiplication Using LEGO(R) Bricks
22.11 € -1 % -
Principles of Mathematics
29.69 € -
Foundations of Geometry
9.18 € -
Beginner's Further Guide To Mathematical Logic, A
28.17 € -
Logician and the Engineer
18.78 € -10 % -
Names of the Lion
16.66 € -10 % -
Higher Topos Theory (AM-170)
121.82 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)