Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium
FLOPS 2001 Tokyo2222 年出版0 页ISBN:
PROGRAMMABLE LOGIC CONTROLLERS:AN INTRODUCTION THIRD EDITION
W.BOLTON2003 年出版240 页ISBN:9780750659864
MATHEMATICAL LOGIC AN INTRODUCTION T OMODEL THEORY
A.H.LIGHTSTONE1977 年出版338 页ISBN:0306308940
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION SIXTH EDITION
HOWARD KAHANE1990 年出版525 页ISBN:0534123309
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION FIFTH EDITION
HOWARD KAHANE1986 年出版502 页ISBN:0534056520
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN:0521876591