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
Elements of systems theory I. Application themes
Virtual instrumentation. Digital signal processing applications
Simulation of stationary robots
Numerical methods applied in chemical engineering. Pascal applications
Electroceramics. Ceramic conductors and semiconductors
Chemical kinetics. Special chapters
Installations and equipment for the use of non-polluting mechanical energy. Use of wind energy
Intervention methodology for the non-invasive approach to energy efficiency in buildings with historical and architectural value
Calculation and operation of hydraulic networks and related electric pumps
A kingdom in a nutshell
“Lingua Franca”, expression of regional and world hegemony
In the footsteps of the great religions
Modeling and performance evaluations in telecommunications
Microwave. Fundamentals
Wireless process management systems
Electric drives with asynchronous motors. Wired logic diagrams
Electricity management. Application Guide
Contributions to the recognition of defect shapes in non-destructive magnetic defectoscopy
Electromagnetic optics. Theory and applications
Fundamental chapters of modern physics: vol. 2 – structure and properties of the solid
Classical physics solved problems
Databases
Introduction to Python and Qt
Numerical analysis. Course, applications, pseudocode algorithms and calculation programs
Integrated management of investment projects
Management of risks associated with industrial business
Logistics systems. Concepts and applications
Statistics through MATLAB
Isac cones in topological spaces
Statistical analysis using the R language
Experimental research of railway vehicles. Laboratory work
Thermodynamics. Laboratory work
Processing of metallic materials by angular extrusion in equal channels. Theoretical aspects and practical applications
Drinking and industrial water technology
Information technologies for the environmental investigations
Hydrological forecasts
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Global Ecoinformatics. Theory and Applications
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Design of distributed fuzzy control systems of HVAC equipment
Image quality from concept definition to applications
Dielectric and magnetic devices
Photonic crystals and tweezers
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. 4/2023
Installation engineering magazine no. 2/2022
Installation engineering magazine no. 2/2023
International Journal of User-System Interaction No. 1/2019
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 1/2020
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Bulletin of Romanian Chemical Engineering Society 2/2014
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
Pseudo-random signal processing for cryptology. A chaos-theory based perspective
Octaviana Datcu
49,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
Lab guide for LabVIEW programming environment
Andrei Craifaleanu, Nicolaie Orasanu
43,00
lei
Add to cart