Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Mathematical Logic And Formal Languages"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
language:"English"
Search alternatives
:
mathematical »
mathematics
languages »
language
Showing
1
-
20
of
69
Search:
'"Mathematical Logic And Formal Languages"'
,
query time: 0.25s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Practical Introduction to Pascal
by
Wilson, I.R.
,
Addyman, A.M.
Published 1978
Macmillan Education UK
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
2
Automata
by
Hopkin, David
,
Moss, Barbara
Published 1976
Macmillan Education UK
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
3
Mathematical Logic and Model Theory : A Brief Introduction
by
Prestel, Alexander
,
Delzell, Charles N.
Published 2011
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
4
Constructing Correct Software
by
Cooke, John
Published 1998
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
5
Feferman on Foundations : Logic, Mathematics, Philosophy
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
6
Program Development by Refinement : Case Studies Using the B Method
Published 1999
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
7
Lattice Functions and Equations
by
Rudeanu, Sergiu
Published 2001
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
8
Decidability of Logical Theories and Their Combination
by
Rasga, João
,
Sernadas, Cristina
Published 2020
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
9
Designing Correct Circuits : Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
Published 1991
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
10
Object Orientation in Z
Published 1992
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
11
Discrete Mathematics Using a Computer
by
Hall, Cordelia
,
O'Donnell, John
Published 2000
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
12
Descriptor Revision : Belief Change through Direct Choice
by
Hansson, Sven Ove
Published 2017
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
13
Algebraic Methods in General Rough Sets
Published 2018
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
14
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991...
Published 1992
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
15
Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
Published 1993
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
16
Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 199...
Published 1994
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
17
Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und G...
Published 1984
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
18
Formal Methods for Trustworthy Computer Systems (FM89) : Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax,...
Published 1990
Springer London
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
19
Subjective Logic : A Formalism for Reasoning Under Uncertainty
by
Jøsang, Audun
Published 2016
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
20
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Published 2020
Springer International Publishing
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
34
006 - Special computer methods
10
511 - General principles of mathematics
7
510 - Mathematics
6
004 - Data processing & computer science
4
160 - Logic
3
more ...
512 - Algebra
3
025 - Library operations
2
331 - Labor economics
1
500 - Natural sciences & mathematics
1
620 - Engineering & allied operations
1
629 - Other branches of engineering
1
see all ...
less ...
Language
English
Collection
Springer Book Archives -2004
39
Springer eBooks 2005-
29
O'Reilly
1
Author
Kim, Phil
2
Kurt-Gödel-Gesellschaft
2
Lau, Kung-Kiu
2
Meduna, Alexander
2
Addyman, A.M.
1
Aichernig, Bernhard K.
1
more ...
Alagar, V.S.
1
Almeida, Jorge
1
Amgoud, Leila
1
Andrews, Derek J.
1
Barden, Rosalind
1
Bernardino, Jorge
1
Brink, Chris
1
Bruynooghe, Maurice
1
Börger, E.
1
Börger, Egon
1
Calude, C.S.
1
Calude, Cristian S.
1
Cattaneo, Gianpiero
1
Cha, Sungdeok
1
Clement, Timothy P.
1
Cooke, John
1
Cooper, David
1
Corchado, Juan Manuel
1
Cortadella, Jordi
1
Costa, Alfredo
1
Craigen, Dan
1
Darlington, John
1
Delzell, Charles N.
1
Deville, Yves
1
Dietrich, Roland
1
Dinneen, M.J.
1
Dong, Jin Song
1
Düntsch, Ivo
1
Ebbinghaus, Heinz Dieter
1
Eklund, Patrik
1
Endres, Michael
1
Farwell, David
1
Ferguson, Thomas Macaulay
1
Filipe, Joaquim
1
Fuchs, Norbert E.
1
Garoufallou, Emmanouel
1
Gerber, Laurie
1
Groote, Jan F.
1
Gutiérrez García, Javier
1
Hall, Cordelia
1
Hameurlain, Abdelkader
1
Hammer, Dieter
1
Hansson, Sven Ove
1
Hasenjaeger, G.
1
Henderson-Sellers, Brian
1
Hopkin, David
1
Hovy, Eduard
1
Höhle, Ulrich
1
Hölldobler, Steffen
1
Jones, Geraint
1
Jureta, Ivan
1
Jäger, Gerhard
1
Jøsang, Audun
1
Kahl, Wolfram
1
Kang, Kyochul
1
Ketkar, Nikhil
1
Kitzelmann, Emanuel
1
Kortelainen, Jari
1
Koutsomiha, Damiana
1
Kozen, Dexter
1
Kyriakoglou, Revekka
1
Küng, Josef
1
Lakshmanan, Laks V.S.
1
Lano, Kevin
1
Maibaum, Tom
1
Mani, A.
1
Martin, Ursula
1
Martinez, Maria Vanina
1
Middelburg, C.A.
1
Molinaro, Cristian
1
Moss, Barbara
1
Müller, Peter
1
Nicholls, J. E.
1
Nicholls, J.E.
1
Nicholls, John E.
1
O'Donnell, John
1
Parkes, Alan P.
1
Paun, Gheorghe
1
Peckhaus, Volker
1
Perrin, Dominique
1
Peñaloza, Rafael
1
Prestel, Alexander
1
Purushothaman, S.
1
Quix, Christoph
1
Raschke, Alexander
1
Rasga, João
1
Rosenberg, Arnold L.
1
Rozenberg, Grzegorz
1
Rudeanu, Sergiu
1
Rudolph, Sebastian
1
Rödding, D.
1
Sadri, F.
1
Sburlan, S.
1
Schaefer, Ina
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=language%3A%22English%22&lookfor=%22Mathematical+Logic+And+Formal+Languages%22&type=Subject
Send by Email
×
Loading...