English
Română
1
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Machine Learning Fundamentals. From Theory to Practice
Artificial neural networks. Matlab applications – vers. revised
Distributed management systems
Mathematical modeling methods applied in the cement industry
Methods and materials for depollution of heavy metal ion-contaminated water
Concepts and methods in teaching-learning chemistry
Brochure 23 – Communal enterprises – urban transport, gas
NE 012/1-2022: Regulations for the production and execution of concrete, reinforced concrete and prestressed concrete works – Part 1: Concrete production
RTC 12-2022 Good practice guidance on protective measures applicable to existing buildings and new buildings located in flood zones
Under the sign of the Cantemir dynasty
Judicial expertise means of proof
Eco-materials: innovation and sustainability in the textile and leather industry
Advanced Design Techniques for Analog and Digital Communication Systems
3 D Modelling and Visualisation in Computed Tomography
Functions of semiconductor devices
Low voltage industrial electrical installations
Electrical engineering treaty. Industrial equipment. Elements of mechatronics and bionics
Complements of electromagnetic field theory
Elements of mathematical physics for technical education
The theory of special relativity
Quantum mechanics. Consistently probabilistic form
Computer Use Guide
Artificial intelligence. Project guidance
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Sustainable development of tourism in coastal areas. Case study tourism development of the Halkidiki peninsula (Greece)
Decision analysis
From the secrets of integrated management for SMEs
Geometry of curves and surfaces. Theory and applications
Differential equations and partial differential equations with applications
Optimization and applications. Abstract spaces, efficiency, immediate and perspective projections
Vibration problems
Introduction to quantum calculus
Boiler design guide
Food hygiene and nutrition for students. Vol. 1 – Nutrients
Environmental management in railway transport
Methods and materials for depollution of heavy metal ion-contaminated water
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Microwave measurement technologies
Information technologies for the environmental investigations
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
High capacity photonic memories
Optical systems for communications
Image quality from concept definition to applications
Journals
Installation engineering magazine
Synthesis of theoretical and applied mechanics
Magazine of installations - stopped publication in 2020
International Journal of User-System Interaction
Bulletin of Romanian Chemical Engineering Society
Romanian Journal of Civil Engineering
Romanian Journal of Human-Calculator Interaction - stopped publication in 2018
Installation engineering magazine no. 2/2023
Installation engineering magazine no. 1/2021
Installation engineering magazine no. 2/2022
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 3/2020
International Journal of User-System Interaction No. 1/2021
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 1/2015
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Software
EBOOK
Books at 5 lei
Deals
Home
/
Books
/
Informatics
/ Introduction to Mathematical and Computational Logic
Introduction to Mathematical and Computational Logic
de
Mihaela Poienariu
Universitatea "Spiru Haret" București
ISBN: 978-606-25-0777-0
Limba: Română
Suport: Hârtie
46,00
lei
Add to cart
View Content
Related products
Oracle 11g – Making database applications using Sql Plus language
Ana-Maria Ramona Stancu
27,00
lei
Add to cart
Microprocessor Architecture. Laboratory Guide
Elena-Diana Sandru, George V. Popescu, Horia Cucu, Corneliu Burileanu
64,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 2
Marin Vlada - editor coordonator
124,00
lei
Add to cart