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
Asymptotic stability relative to a target set for nonlinear control systems
Discrete event systems
Discrete event systems. Application themes
Oxide matrices reinforced with glass fibers
Surfactants used as textile auxiliaries in fiber processing
Bulletin of Romanian Chemical Engineering Society 1/2017
C 14 / 1-1994: Guide on the use of small concrete masonry blocks with heavy aggregates BZG290x240x88 mm
Automation in cadastral works
Romanian Journal of Civil Engineering 2/2017
Demonstration, knowledge, action
Memories from the life of a university teacher
Following in the footsteps of great scientific and technical discoveries
Virtual instrumentation. Digital signal processing applications
Programming of PIC18F microcontrollers – from Proteus to the PICDEM system –
From SCADA to INDUSTRY 4.0
Magnetic materials for electromagnetic systems
The basics of electrical engineering
Electromagnetic compatibility of shipboard equipment
Structure and evolution – ed. 5 revised and added
Classical physics solved problems
The basics of quantum mechanics
Computer systems and Oracle database management
Practical guide for testing and evaluating data compression techniques
Introduction to Mathematical and Computational Logic
Industrial management in the circular economy. Vol. 2 Mathematical models, studies and comparative analyses
Applications in SAP IDES ERP
Innovation management
Notions of the theory of differential equations
Numerical calculation methods
Verification of statistical hypotheses by non-parametric methods
Studies and research on the deformability of microalloyed steels. Monograph
The basics of software development in the automotive industry
Testing and approval of internal combustion engines
Mineral biotechnology
Mathematical methods in biotechnology and environmental engineering
Chemistry of air pollutants
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. 2
Information technologies for the environmental investigations
Sensors and actuators
Photonic processors
Optoelectronics
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/2022
Installation engineering magazine no. 3/2022
Installation engineering magazine no. 3/2023
International Journal of User-System Interaction No. 4/2019
International Journal of User-System Interaction nr. 1/2022
International Journal of User-System Interaction No. 1/2019
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Bulletin of Romanian Chemical Engineering Society 2/2017
Bulletin of Romanian Chemical Engineering Society 2/2015
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
Initiation in Java through theoretical reviews and applications
Adrian Marius Deaconu, Gabriela Moise, Lucian Mircea Sasu
33,00
lei
Add to cart
International Journal of User-System Interaction No. 3/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart
Numerical calculation techniques
George Mahalu
59,00
lei
Add to cart