adicionar à lista de desejos
Mathematical Logic eBook
Foundations For Information Science
language: english
Publisher:
Birkhauser Basel, February of 2010 ‧
see product details
71,54€
10% OFF
CARD
VDIxTGQySjBiR2N2YW14bVYxSllTMjV4VUhacVNIZDNRM1I1ZDNrMFRXUjFUelV4Vm10UmFXdzBOSHBGT1dWYU5sVXphazFNSzNNMWQwSktPR2Q0UmxFMlZURmpVMkV5WVRONU5ISmxZVmhTY0ZkTVQyb3pZMko2UjBwRk9XRmhZekpPYUhoRVVuZzBhSGR3ZDNGcVJtMHlWRGhzTjA0cmRUSjBNekF4Y0ZaNE9XRXpTbEJ0YkZnNFYzQTNZVE52WjBsSWVGaFRjMFpKWlZaMmFXNUpNV3A0ZDJac1JrVkNVbmxaVldsa2VUQTNTVXg1Y25KWFREVnRVSE14U200Mk9XaGlNQ3RaTmxOM04xQTJabVJyUTBOaFVGVkVPWEV2YWxZNFYzUTRTWFpsWVU5MmRUVnlaMDF4TDBac09TOHpSR1pGVmtNMlJVUkhNRXQzYm1WVVltSkJSVVZsT0ROblMweDFhM0Z6TmxVMlpHWkpPRzFHY3pSclpIZEhOelJRVFdnNFVXTXdNVUZVTHpGMmNuZFZUakZRVmk5SlZIaFZNMkV3VG5GNlNYZDVObkJqUlRsa1IxUlVkelZGZEZwMlpUUklhRVpLZWtGNmRsUnBWbXhsTVVwRlkwTTNaMjByYkV4dFRuVjFTazl2T0cwNFJ5dE1NalV2YkVaVWNtRnNiemcyVFVkSVdteHZOM2ROWkZSNGNFUjBiRFU0WlhJemVuZHVNR0pCYzBJNVEwbDVLMmhTU0ZGelIzUm1aQzlxVFRWWlNFbHlhMHhwY0dZNU9FUllNRFpuWm5sWllpOUZORmhaVDJGalVrNUJOa1F2Y3k5cE0ySTRPR3htWjFSa09YVjJVRGRFY210cWNFc3hkM1pyYVd4dUwzWlhkMHd6U2tOVWRFRnRRa0ZhWVhSdksxYzFOelF5TmpNd05GWk1ielJ1V0hoS01VMVFOVUUzVTNCVWMwY3hla2xPZGpWVFJXZE1lSFJKVlhOdmJFMHhZelk0VXpWVlNFcEZNRmxGZWtwWE1VTmpZbmxPVUZnMVJFaHBlRGRNTWxwbWNXczRlRGt2Wkc4eFlXSlZkRTFxZWpWM05rbEpjRFUxT1V4ck1XRmpUekZNZUZsUlNXVk1hMnRGTm1vMVprVlFRa3BaV1RNM05uRkZZM2xWTDFsMFJFRTRPSEkwVVRBNFoySjFhekY0UW1OWGNIVnJWMFoxUWxOM1ZVcFpUSHBVWlNzMlUzQmhha28yZHpkd2NXeE9URXBOVW01d1NXVllkbkY2S3pSVlVtYzViSFJpTURrdlltUklORlowYVV4SGFVNXpNVVIzUFE9PTpOTXlkSE9vRVF5QW9pMEJnMkpJOWh3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Presents basic principles and formal calculus of mathematical logic systematically. This book covers the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783764399771 |
| Publisher: | Birkhauser Basel |
| Release Date: | February of 2010 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Progress In Computer Science And Applied Logic |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9783764399771 |
BOOKS FROM THE SAME COLLECTION
-
Temporal Type TheoryeBook10%Springer International Publishing145,09€ 10% CARD
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARDfree shipping
-
Recent Development Of Alternating Current Field Measurement Combine With New Technology10%SPRINGER VERLAG, SINGAPORE54,74€
60,82€free shipping -
R-Calculus, Iv: Propositional Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€free shipping