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
Numerical methods in systems optimization
Motion Parameterization and Control: Advances and Applications
Computerized measurement systems
Chemistry. Chemical thermodynamics, kinetics, electrochemistry
Atmospheric corrosion of zinc sheet for construction
Mineral biotechnology
GE 026-1997: Guide for the horizontal and inclined compaction of embankments
PCC 024-2015: Procedure for technical inspection of equipment, execution, profiling, finishing of earth works, roads, airport, foundations
CD 16-2000: Standard on design conditions and technology for the execution of light asphalt clothing works
Holiday in the Kingdom of Flowers
Filaments, coronal mass ejections and interplanetary disturbances
Diagnostic elements in inflammatory bowel diseases
Optoelectronic devices
Dielectric and magnetic devices
Architecture of numerical measurement systems
Fundamentals of electric circuits
Electrical circuit theory. Applications
High voltage power stations
Elements of fluid physics and hydraulics
Structural and magnetic analysis of compounds with rare earths
Problems of quantum mechanics – 2nd ed
Data communications vol. 1
Computer Graphics
AutoCAD 2D english edition
Decision and forecast
Transport logistics and engineering management
Elements of production
Elements of complex analysis
Laboratory guide for numerical methods. Algorithms implemented in C language
Descriptive geometry
Applied mechanics. Statics
Special installations for low temperatures. Numerical applications
Surfaces generation by cutting
Experimental research on the effectiveness of radon propagation remediation systems in residential buildings
Biological wastewater treatment
Solid waste engineering
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Global Ecoinformatics. Theory and Applications
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Photonic crystals and tweezers
Sensors and actuators used in industrial processes
Sensors and actuators
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. 1/2023
Installation engineering magazine no. 2/2023
Installation engineering magazine no. 1/2022
International Journal of User-System Interaction No. 2/2020
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 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
Information processing. Laboratory guidance
Cristina Nichiforov, Grigore Stamatescu
10,00
lei
Add to cart
Initiation in Java through theoretical reviews and applications
Adrian Marius Deaconu, Gabriela Moise, Lucian Mircea Sasu
33,00
lei
Add to cart