|
1 |
Simple Type Theory Cham : Springer International Publishing, 2023, 1st edition 2023
|
|
|
2 |
Mathematical logic Li, Wei. - Basel : Birkhäuser, 2014, 2., rev. ed.
|
|
|
3 |
Mathematical Logic Li, Wei. - Basel : Springer Basel, 2014, 2nd ed. 2014
|
|
|
4 |
Mathematical Logic for Computer Science Ben-Ari, Mordechai. - Guildford, Surrey : Springer London, 2012, 3., rd ed.
|
Verlagsinformation
|
|
5 |
Mathematical Logic for Computer Science Ben-Arî, Môtî. - London : Springer London, 2012, 3rd ed. 2012
|
|
|
6 |
Mathematical logic Li, Wei. - Basel : Birkhäuser, 2010
|
|
|
7 |
Mathematical logic for computer science Ben-Arî, Môtî. - London : Springer, 2001, 2. ed.
|
|
|
8 |
Mathematical Logic for Computer Science London : Springer London, 2001, Second edition
|
|
|
9 |
Mathematical logic quarterly Weinheim : Wiley-VCH
|
|