Narrow your search

Library

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

UHasselt (1)

VIVES (1)

VUB (1)


Resource type

book (1)


Language

English (1)


Year
From To Submit

2023 (1)

Listing 1 - 1 of 1
Sort by
Mathematical logic
Authors: ---
ISBN: 1281160423 0191524808 142949266X 9780191524806 0199215626 9780199215621 0198571003 9780198571001 9781429492669 9786611160425 6611160426 9781281160423 1383030081 Year: 2023 Publisher: Oxford : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

Listing 1 - 1 of 1
Sort by