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
Programming in microcontroller assembly language
Beyond the limits of modern processors
Intelligent multiagent systems
Nonlinear dynamics
Alkaloids. Representatives. Bioactivity
The basics of the chemistry of coordinating compounds
Ts’81 – Excavations. Quotation norm indicator
Evaluation of energy efficiency of hot water transmission and distribution systems
C 28-1983: Technical instructions for welding steel-concrete reinforcements
Occupational health and safety management. Applications
Philosophical stories and tales
Preoperative algorithm for decreasing the incidence of biliary tract injuries during cholecystectomy
Microwave problems solved and proposed
Introduction to medical imaging
The architecture of microprocessors. Laboratory guidance
Alternating current electric cars. Optimal analysis and synthesis
Data acquisition systems
Explanatory dictionary of electrical engineering
Elements of statistical physics
Electrodynamics
The basics of quantum field theory
Python programmer job interview preparation. 63 interview questions solved
Man among men: faith, intelligence, evolution
Interoperability of distributed systems. Applications and technical case studies interoperability of distributed systems
Economic analysis. Theory and applications
Audit of the Integrated Management System (SIM)
Decision analysis
Analytical methods in Feller process theory
Elements of mathematical analysis vol.1 + 2
English for science. Overview of the history of mathematics and informatics
Geometrodynamics of spatio-temporal deformations with applications in astrophysics and cosmology
Fundamental elements of tribology. Friction-lubricating
Brakes for railway vehicles
Equipment and technical systems for the greening of localities. Theory, applications, verification tests
Noxious emissions from thermal power plants
Use of sand filters for advanced wastewater treatment
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Global climate and sustainable development problems (book in Russian)
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Design of distributed fuzzy control systems of HVAC equipment
Experimental results and simulations of advanced optoelectronic devices
Image quality from concept definition to applications
Sensors and actuators used in industrial processes
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. 3/2023
Installation engineering magazine no. 2/2022
Installation engineering magazine no. 1/2023
International Journal of User-System Interaction No. 3/2021
International Journal of User-System Interaction No. 3/2020
International Journal of User-System Interaction No. 1/2019
Bulletin of Romanian Chemical Engineering Society 2/2017
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Bulletin of Romanian Chemical Engineering Society 1/2017
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
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 4
Marin Vlada - editor coordonator
151,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 1
Marin Vlada - editor coordonator
124,00
lei
Add to cart
Pseudo-random signal processing for cryptology. A chaos-theory based perspective
Octaviana Datcu
49,00
lei
Add to cart