Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
LIBRARY

File hashes

MD5
6deb981a3752e9c78ca7c6e94c04736b
SHA1
7TTTICGADJAZEDXTHCDQNJWAVS7GCADY
SHA256
c344ae36ae344f23e8b237f5c5a9855a 38f3ae4b8c8cd416c1a9030a0a20cd1f
AICH
XSZO6TPQUUXLYJJQSS2OKUYK2ADQQ4V4
CRC32
c9c714ea
eDonkey
9932567f827ee48ed325dc439671ee5d
TTH
NDI6CDVISMQSR7HS57QWRZ5VTEGYPKW52Q7CYLQ

Available files

  • DJVU

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

By Daniel Lascar , Rene Cori , Donald H. Pelletier

Book information

Publisher
Oxford University Press
Year
2000
ISBN
0198500491, 9780198500490
Language
english
Format
DJVU
Filesize
3 MB (2991864 bytes)
Edition
1
Pages
360\358
Time added
2018-03-24 15:41:48
Logic;Pure Mathematics;Mathematics;Science & Math;Used & Rental Textbooks;Specialty BoutiqueUsed & Rental Textbooks;Specialty Boutique;Mathema

Similar books

LIBRARY

Varieties of Continua: From Regions to Points and Back

2018 · PDF

LIBRARY

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

2013 · PDF

LIBRARY

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

2010 · DJVU

LIBRARY

An Introduction to Proof through Real Analysis

2017 · PDF

LIBRARY

Introduction to Axiomatic Set Theory

DJVU

LIBRARY

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

2001 · DJVU

LIBRARY

Recent Trends in Philosophical Logic

2014 · PDF

LIBRARY

A Precis of Mathematical Logic

DJVU

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme