Welcome to aboutlifting online Store From 9 to 19 o'clock every day ( Saturdays and Sundays, except holidays )
Currencies
My Cart 0
categories
More Categories
Free Shipping - available for orders above $30
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
  • An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
  • An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

Product details

  • Publisher ‏ : ‎ Springer; 2nd edition (July 31, 2002)
  • Language ‏ : ‎ English
  • Hardcover ‏ : ‎ 408 pages
  • ISBN-10 ‏ : ‎ 1402007639
  • ISBN-13 ‏ : ‎ 978-1402007637
  • Item Weight ‏ : ‎ 3.66 pounds
  • Dimensions ‏ : ‎ 6.62 x 1.14 x 9.34 inches
  • Best Sellers Rank: #3,509,947 in Books (See Top 100 in Books)
    • #458 in Logic (Books)
    • #929 in Artificial Intelligence (Books)
    • #1,641 in Mathematical Logic
  • Customer Reviews:
    4.0 4.0 out of 5 stars 4 ratings

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

$69.00  $34.00
Save: 51% off

ARRIVING & SHIPPING SOON!! Free shipping over $30.00
90 Days Easy Returns View More Return Policy

Recommend Products

Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
$22.00$45.00
ONE ALGORITHM TO RULE THEM ALL: The Algorithmic Singularity is Near
ONE ALGORITHM TO RULE THEM ALL: The Algorithmic Singularity is Near
$90.00$180.00
ChatGPT in Office 365: The most updated guide to skyrocket your productivity by unlocking the power of AI in Word, PowerPoint, Excel and beyond, from beginners to advanced.
ChatGPT in Office 365: The most updated guide to skyrocket your productivity by unlocking the power of AI in Word, PowerPoint, Excel and beyond, from beginners to advanced.
$7.00$15.00
Art in the Age of Machine Learning (Leonardo)
Art in the Age of Machine Learning (Leonardo)
$20.00$41.00
AI Art: Machine Visions and Warped Dreams (Media: Art: Write: Now)
AI Art: Machine Visions and Warped Dreams (Media: Art: Write: Now)
$10.00$20.00
ChatGPT in Office 365: The most updated guide to skyrocket your productivity by unlocking the power of AI in Word, PowerPoint, Excel and beyond, from beginners to advanced.
ChatGPT in Office 365: The most updated guide to skyrocket your productivity by unlocking the power of AI in Word, PowerPoint, Excel and beyond, from beginners to advanced.
$7.00$15.00

Prompt Design Patterns: Mastering the Art and Science of Prompt Engineering (Generative AI Revolution Series)
Prompt Design Patterns: Mastering the Art and Science of Prompt Engineering (Generative AI Revolution Series)
$28.00$56.00
Artificial Intelligence and Games
Artificial Intelligence and Games
$14.00$29.00
Unlocking the Secrets of Prompt Engineering: Master the art of creative language generation to accelerate your journey from novice to pro
Unlocking the Secrets of Prompt Engineering: Master the art of creative language generation to accelerate your journey from novice to pro
$21.00$43.00
Generative AI with Python and TensorFlow 2: Create images, text, and music with VAEs, GANs, LSTMs, Transformer models
Generative AI with Python and TensorFlow 2: Create images, text, and music with VAEs, GANs, LSTMs, Transformer models
$16.00$32.00
ONE ALGORITHM TO RULE THEM ALL: The Algorithmic Singularity is Near
ONE ALGORITHM TO RULE THEM ALL: The Algorithmic Singularity is Near
$90.00$180.00
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
$22.00$45.00


  • Free delivery

    From $30

  • Support 24/7

    Online 24 hours

  • Free return

    365 a day

  • Payment method

    Secure payment

  • get promotion

    Secure payment

Information
Extras
My Account
opening Hours
From Monday to Sunday, from 9 to 19 o'clock every day. (Except holidays)
Free Shipping
Free shipping for orders over $30.00
Return & Exchange
We accept returns and exchanges to provide you with a safe and comfortable shopping experience.
Copyright (C) aboutlifting.net 2024 All Rights Reserved